Classical lambda calculus in modern dress

DOI10.1017/S0960129515000377zbMath1423.03054arXiv1211.5762MaRDI QIDQ5269006

J. M. E. 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

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

Related Items (2)

Towards a notion of lambda monoid ⋮ The linear-non-linear substitution 2-monad

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The lambda calculus, its syntax and semantics
• Characterizing Mal'cev conditions
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• The differential lambda-calculus
• Elements of a theory of algebraic theories
• The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
• A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
• The lambda calculus is algebraic
• A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics
• Logical Approaches to Computational Barriers

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