Publication:5714284
From MaRDI portal
zbMath1088.03002MaRDI QIDQ5714284
Publication date: 29 December 2005
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68N18: Functional programming and lambda calculus
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03B40: Combinatory logic and lambda calculus
Related Items
Recursion-free modular arithmetic in the lambda-calculus, Linear numeral systems, Crowd behavior dynamics: entropic path-integral model, An Introduction to the Lambda Calculus