scientific article; zbMATH DE number 2242116
From MaRDI portal
Publication:5714284
zbMath1088.03002MaRDI QIDQ5714284
Publication date: 29 December 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Functional programming and lambda calculus (68N18) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Combinatory logic and lambda calculus (03B40)
Related Items (4)
Crowd behavior dynamics: entropic path-integral model ⋮ Recursion-free modular arithmetic in the lambda-calculus ⋮ An Introduction to the Lambda Calculus ⋮ Linear numeral systems
This page was built for publication:
