scientific article

From MaRDI portal

Publication:3216107

Jump to:navigation, search

zbMath0553.68002MaRDI QIDQ3216107

No author found.

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

survey trees computability theory functionals discrete structures Boolean circuit complexity continuous structures lambda- calculus

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Combinatory logic and lambda calculus (03B40) Theory of computing (68Q99)

Related Items

On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3216107&oldid=16368422"