Publication:5714284

From MaRDI portal
Revision as of 05:45, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


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

Recursion-free modular arithmetic in the lambda-calculus, Linear numeral systems, Crowd behavior dynamics: entropic path-integral model, An Introduction to the Lambda Calculus



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5714284&oldid=30449852"
Powered by MediaWiki