Publication:5714284

zbMath1088.03002MaRDI QIDQ5714284

Chris Hankin

Publication date: 29 December 2005

zbMATH Keywords

lambda calculus; combinatory logic

Mathematics Subject Classification ID

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

Linear numeral systems, Crowd behavior dynamics: entropic path-integral model, An Introduction to the Lambda Calculus