Classical lambda calculus in modern dress

DOI10.1017/S0960129515000377zbMATH Open1423.03054arXiv1211.5762MaRDI QIDQ5269006FDOQ5269006

Authors: Martin Hyland 

Publication date: 14 June 2017

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

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.

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

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

Mathematics Subject Classification ID

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

Cites Work

• The category theoretic understanding of universal algebra: Lawvere theories and monads
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Title not available (Why is that?)
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Title not available (Why is that?)
• Logical Approaches to Computational Barriers
• Characterizing Mal'cev conditions
• The differential lambda-calculus
• Elements of a theory of algebraic theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• The lambda calculus, its syntax and semantics
• The lambda calculus is algebraic
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Title not available (Why is that?)

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards a notion of lambda monoid
• 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)