An Introduction to the Lambda Calculus
From MaRDI portal
Publication:3599178
DOI10.1007/978-3-540-88059-2_3zbMath1170.68416MaRDI QIDQ3599178
Gergely Dévai, Zoltán Csörnyei
Publication date: 3 February 2009
Published in: Central European Functional Programming School (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-88059-2_3
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68N18: Functional programming and lambda calculus
03B40: Combinatory logic and lambda calculus
Cites Work