The Impact of the Lambda Calculus in Logic and Computer Science
From MaRDI portal
Publication:4359526
Recommendations
- Proofs and programs
- An Introduction to the Lambda Calculus
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory
- Models of the lambda calculus: an introduction
- scientific article; zbMATH DE number 4002064
Cites work
- scientific article; zbMATH DE number 3165828 (Why is no real title available?)
- scientific article; zbMATH DE number 4048997 (Why is no real title available?)
- scientific article; zbMATH DE number 3664393 (Why is no real title available?)
- scientific article; zbMATH DE number 42059 (Why is no real title available?)
- scientific article; zbMATH DE number 46981 (Why is no real title available?)
- scientific article; zbMATH DE number 52833 (Why is no real title available?)
- scientific article; zbMATH DE number 108369 (Why is no real title available?)
- scientific article; zbMATH DE number 819768 (Why is no real title available?)
- A formulation of the simple theory of types
- A new implementation technique for applicative languages
- A theory of type polymorphism in programming
- Automatic synthesis of typed \(\Lambda\)-programs on term algebras
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Can programming be liberated from the von Neumann style?
- Computability and λ-definability
- Efficient self-interpretation in lambda calculus
- Enumerators of lambda terms are reducing constructively
- Functionality in Combinatory Logic
- Language in action. Categories, lambdas and dynamic logic
- Models of the lambda calculus
- Modified basic functionality in combinatory logic
- The Category-Theoretic Solution of Recursive Domain Equations
- The Mechanical Evaluation of Expressions
- The calculus of constructions
- The categorical abstract machine
- The inconsistency of certain formal logics
- The theory of classes A modification of von Neumann's system
- The typed lambda-calculus is not elementary recursive
- Untersuchungen über das logische Schliessen. II
- \(\lambda\)-definability and recursiveness
Cited in
(25)- A Constructive Logic for Services and Information Flow in Computer Networks
- The calculus of natural calculation
- A system at the cross-roads of functional and logic programming
- What is the Church-Turing Thesis?
- Many more predecessors: a representation workout
- Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants
- If structured propositions are logical procedures then how are procedures individuated?
- Programming in the λ-Calculus: From Church to Scott and Back
- An Essay in λ‐Calculus
- scientific article; zbMATH DE number 5852776 (Why is no real title available?)
- Russell's 1903 - 1905 Anticipation of the Lambda Calculus
- scientific article; zbMATH DE number 4179333 (Why is no real title available?)
- Why Sets?
- Weak consequence relation between \(\lambda\)-terms
- A computational interpretation of forcing in type theory
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
- scientific article; zbMATH DE number 2242116 (Why is no real title available?)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory
- The classical \(\lambda\)-calculus characteristics and their application for the effective outcome of the logic equations
- Untyped lambda-calculus with input-output
- A semantic framework for proof evidence
- Incorporating quotation and evaluation into Church's type theory
- scientific article; zbMATH DE number 599579 (Why is no real title available?)
- Models of the lambda calculus: an introduction
- The lambda calculus: practice and principle
This page was built for publication: The Impact of the Lambda Calculus in Logic and Computer Science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4359526)
