主机名:页面组件-848d4c4894-jtt6总加载时间:0渲染日期:2024-06-20T01:15:05.716Z有数据问题:falsehasContentIssue为false

使用lambda-terms进行计算:科拉多·伯姆90岁生日的特刊

剑桥大学出版社在线出版:2015年7月20日

斯蒂芬诺·盖里尼
附属:
LIPN,UMR CNRS 7030,巴黎大学13号,巴黎索邦大学,法国维勒塔内斯,电子邮件:stefano.guerrini@univ-paris13.fr
亨克·巴伦德伦特
附属:
荷兰奈梅亨Radboud大学计算与信息科学研究所电子邮件:henk@cs.ru.nl
阿多尔福·皮佩诺
附属:
意大利罗马拉萨皮恩扎罗马大学信息学院piperno@di.uniroma1.it
权限和权限 [在新窗口中打开]

提取

核心共享和HTML视图不适用于此内容。但是,由于您有权访问此内容,可以通过“保存PDF”操作按钮获得完整的PDF。

我们非常自豪和荣幸地将这本书献给科拉多·伯姆,他一直是我们的老师、导师、同事和朋友。但最重要的是,他是一个出色的榜样。

类型
编辑前言
版权
版权所有©剑桥大学出版社2015