A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories.评价结果

评估详情