巴伦德雷格特，H.P。 lambda演算及其语法和语义。 （英语） Zbl 0467.03010号 逻辑与数学基础研究，第103卷。阿姆斯特丹-纽约-牛津：North-Holland Publishing Company。十四、 615页109.75美元；英国国防部。225.00 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于8评论引用于195文件 MSC公司： 03B40型 组合逻辑与lambda演算 03-02 与数学逻辑和基础相关的研究展览（专著、调查文章） 1999年3月 可计算性和递归理论 03-01 关于数学逻辑和基础的介绍性说明（教科书、教程论文等） 关键词：无类型lambda-calculus PDF格式BibTeX公司 XML格式