Publication:4983482

From MaRDI portal
Revision as of 10:36, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath1318.01002MaRDI QIDQ4983482

Gilles Dowek

Publication date: 27 March 2015



Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

03B70: Logic in computer science

03B35: Mechanization of proofs and logical operations

68-02: Research exposition (monographs, survey articles) pertaining to computer science

03-03: History of mathematical logic and foundations

01-02: Research exposition (monographs, survey articles) pertaining to history and biography

68-03: History of computer science

03B40: Combinatory logic and lambda calculus

68Qxx: Theory of computing

03Fxx: Proof theory and constructive mathematics

68-XX: Computer science

03Dxx: Computability and recursion theory


Related Items

The Zambelli Attractors of Coupled, Nonlinear Macrodynamics and Knot Theory



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