文件名称：An Introduction to the Lambda Calculus
文件大小：297KB
文件格式：PDF
更新时间：2022-02-19 15:20:35
编程理论 lambda
It is surprising that despite the simplicity of its syntax, the λ-calculus hosts a large body of notation, abbreviations, naming conventions, etc. Our aim, as far as the notation throughout this work is concerned, is to remain consistent, clear and unambiguous as much as possible.