摘要：将归纳定义扩展到数据类型的一个宇宙中
作者：Pierre-Evariste Dagand and Conor McBride
论文ID：1210.6390
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-11-01
PDF 下载： 英文版 中文版pdf翻译中