The Impact of the Lambda Calculus in Logic and Computer Science

DOI10.2307/421013zbMATH Open0887.03008DBLPjournals/bsl/Barendregt97OpenAlexW2095378146WikidataQ63044203 ScholiaQ63044203MaRDI QIDQ4359526FDOQ4359526

Authors: Henk Barendregt 

Publication date: 20 October 1997

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/17274

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

zbMATH Keywords

functional programmingcomputationlogiclambda calculus

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Combinatory logic and lambda calculus (03B40)

Cites Work

• A theory of type polymorphism in programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Untersuchungen über das logische Schliessen. II
• The Category-Theoretic Solution of Recursive Domain Equations
• Title not available (Why is that?)
• The typed lambda-calculus is not elementary recursive
• A formulation of the simple theory of types
• Efficient self-interpretation in lambda calculus
• The calculus of constructions
• Language in action. Categories, lambdas and dynamic logic
• The Mechanical Evaluation of Expressions
• Title not available (Why is that?)
• A new implementation technique for applicative languages
• Automatic synthesis of typed \(\Lambda\)-programs on term algebras
• Can programming be liberated from the von Neumann style?
• Functionality in Combinatory Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Models of the lambda calculus
• Computability and λ-definability
• Modified basic functionality in combinatory logic
• The categorical abstract machine
• Title not available (Why is that?)
• \(\lambda\)-definability and recursiveness
• The inconsistency of certain formal logics
• Title not available (Why is that?)
• Enumerators of lambda terms are reducing constructively
• The theory of classes A modification of von Neumann's system

Cited In (25)

• What is the Church-Turing Thesis?
• Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants
• Russell's 1903 - 1905 Anticipation of the Lambda Calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Weak consequence relation between \(\lambda\)-terms
• The classical \(\lambda\)-calculus characteristics and their application for the effective outcome of the logic equations
• Incorporating quotation and evaluation into Church's type theory
• A computational interpretation of forcing in type theory
• Models of the lambda calculus: an introduction
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• Untyped lambda-calculus with input-output
• Many more predecessors: a representation workout
• Programming in the λ-Calculus: From Church to Scott and Back
• An Essay in λ‐Calculus
• If structured propositions are logical procedures then how are procedures individuated?
• Title not available (Why is that?)
• Title not available (Why is that?)
• The calculus of natural calculation
• On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory
• A system at the cross-roads of functional and logic programming
• A semantic framework for proof evidence
• Why Sets?
• A Constructive Logic for Services and Information Flow in Computer Networks
• The lambda calculus: practice and principle

Uses Software

• Haskell
• Automath
• LISP

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)