scientific article

From MaRDI portal

Publication:3936712

Jump to:navigation, search

zbMath0479.03005MaRDI QIDQ3936712

Haskell B. Curry

Publication date: 1980

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

zbMATH Keywords

representations equality realizations combinators substitution assertion motivation lambda conversion illative combinatory logic Church-Rosser theorem combinatory arithmetic replies to criticisms of combinatory logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Combinatory logic and lambda calculus (03B40)

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