Classical lambda calculus in modern dress

DOI10.1017/S0960129515000377MaRDI QIDQ5269006zbMATH OpenFDO

Authors Martin Hyland

Publication date 14 June 2017

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1211.5762

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30)

Abstract: Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's representation theorem is then completely natural and leads to precise theorems showing the essential equivalence with more familiar notions. Simple abstract proofs of fundamental results in the semantics of the lambda calculus are given.

Recommendations

• scientific article; zbMATH DE number 3889501
• scientific article; zbMATH DE number 3941501
• Models of the lambda calculus
• scientific article; zbMATH DE number 3985475
• scientific article; zbMATH DE number 3904559

Cites work

• scientific article; zbMATH DE number 432742 (Why is no real title available?)
• scientific article; zbMATH DE number 2125670 (Why is no real title available?)
• scientific article; zbMATH DE number 3889500 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3722625 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 4128787 (Why is no real title available?)
• scientific article; zbMATH DE number 512773 (Why is no real title available?)
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Characterizing Mal'cev conditions
• Elements of a theory of algebraic theories
• Logical Approaches to Computational Barriers
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• The category theoretic understanding of universal algebra: Lawvere theories and monads
• The differential lambda-calculus
• The lambda calculus is algebraic
• The lambda calculus, its syntax and semantics
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(8)

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• Towards a notion of lambda monoid
• scientific article; zbMATH DE number 1984512 (Why is no real title available?)
• Equality in lambda calculus. Weak universality in category theory and reversible computations
• On strictifying extensional reflexivity in compact closed categories
• Lambda‐Algebras and C‐Monoids
• Clones, closed categories, and combinatory logic
• The linear-non-linear substitution 2-monad

This page was built for publication: Classical lambda calculus in modern dress

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5269006)