On the Algebraic Specification of Infinite Objects - Ordered and Continuous Models of Algebraic Types.评价结果

评估详情

5