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

DOI10.1016/0022-4049(93)90089-CzbMath0786.03013MaRDI QIDQ687575

John W. Gray

Publication date: 19 October 1993

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

operational semanticssemanticsglobal environments objectindividual environments objectsinterpretation functiontyped \(\lambda\)-calculus with substitution

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Simultaneous substitution in the typed lambda calculus

Cites Work

• On specifications, theories, and models with higher types
• Categorical combinators
• Explicit substitutions
• Simultaneous substitution in the typed lambda calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category