论文研究 程序语言中的共归纳数据类型及其应用 .pdf
程序语言中的共归纳数据类型及其应用,苏锦钿,余珊珊,归纳数据类型利用代数方法从构造的角度归纳地描述数据类型的有限语法结构,但在描述动态行为方面存在一定的不足。作为其范畴对偶
下载地址
用户评论
