Simultaneous substitution in the typed lambda calculus

DOI10.1007/3-540-55511-0_10zbMath1518.68051MaRDI QIDQ6116572

John W. Gray

Publication date: 16 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category
• Substitution revisited
• LCF considered as a programming language

This page was built for publication: Simultaneous substitution in the typed lambda calculus