数据类型上的可计算性

摘要：

该文讨论数据类型上的计算。由于λ演算是一种计算模型，作者用λ项去编码数据类型以及去计算它们，因此，用λ演算刻划和反映了一般数据类型上的可计算性。

关键词： 数据类型 可计算性

作者: 宋方敏 徐永森 钱悦晨

作者单位: 大学计算机科学与技术系,南京大学软件新技术国家重点实验室 ndhoven理工大学计算科学与数学系

会议类型: 国内会议

会议名称: 1998年华人理论计算机科学年会

会议地点: 南昌

会议语种:中文

页码: 2～11

在线出版日期: 1998-10-01（万方平台首次上网日期，不代表论文的发表时间）