A Binary Operation on Trees and an Initial Algebra Characterization for Finite Tree Types.评价结果

评估详情

2