Russell's 1903 - 1905 Anticipation of the Lambda Calculus
From MaRDI portal
Publication:4448890
Recommendations
Cites work
- scientific article; zbMATH DE number 4063046 (Why is no real title available?)
- scientific article; zbMATH DE number 3790395 (Why is no real title available?)
- scientific article; zbMATH DE number 1237869 (Why is no real title available?)
- scientific article; zbMATH DE number 3794036 (Why is no real title available?)
- scientific article; zbMATH DE number 3249761 (Why is no real title available?)
- scientific article; zbMATH DE number 3198017 (Why is no real title available?)
- A formulation of the simple theory of types
- A set of postulates for the foundation of logic
- The Impact of the Lambda Calculus in Logic and Computer Science
- The Kleene Symposium. Proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A
- The inconsistency of certain formal logics
- The inconsistency of certain formal logics
- The lambda calculus, its syntax and semantics
Cited in
(6)
This page was built for publication: Russell's 1903 - 1905 Anticipation of the Lambda Calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4448890)