Über die Bausteine der mathematischen Logik

1924/09/01 by M. Schönfinkel · 13 citations
Mathematics · #History and Theory of Mathematics

paper · doi:10.1007/bf01448013

crossref issued 1924/09/01 · crossref published 1924/09/01 · crossref published-print 1924/09/01 · openalex publication_date 1924/09/01 · crossref created 2005/04/12 · crossref deposited 2023/04/08 · openalex created_date 2025/10/10 · crossref indexed 2026/07/23 · openalex updated_date 2026/07/25

Cited by

• Some Philosophical Aspects of Combinatory Logic
• Conception, evolution, and application of functional programming languages
• A formulation of the simple theory of types
• The Push3 execution stack and the evolution of control
• What is an efficient implementation of the λ-calculus?
• The Nature of Computation
• Principal type-schemes and condensed detachment
• Pure functions in APL and J
• On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic
• Fixed point theorems for precomplete numberings
• Extending the Curry-Howard interpretation to linear, relevant and other resource logics
• Combinatory logic [wikipedia]
• Currying [wikipedia]