Topological representation of the λ-calculus

DOI10.1017/S0960129599002972zbMath0942.03015OpenAlexW2149681031MaRDI QIDQ4946631

Steven Awodey

Publication date: 13 April 2000

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

Full work available at URL: https://doi.org/10.1017/s0960129599002972

zbMATH Keywords

Cartesian closed categoriestopological semanticstopological modelsimply typed \(\lambda\)-calculuscalculus of \(\lambda\)-conversion

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) ⋮ Mathesis Universalis and Homotopy Type Theory ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness

This page was built for publication: Topological representation of the λ-calculus