Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness

Autor: Michael Gabbay, Murdoch J. Gabbay

Publikováno v: Gabbay, M J & Gabbay, M J 2016, ' Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness ', ANNALS OF PURE AND APPLIED LOGIC . https://doi.org/10.1016/j.apal.2016.10.001

We give a semantics for the λ-calculus based on a topological duality theorem in nominal sets. A novel interpretation of λ is given in terms of adjoints, and λ-terms are interpreted absolutely as sets (no valuation is necessary).

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1da6f387fee2465acf5e4ecbc0f1682f
https://kclpure.kcl.ac.uk/ws/files/58136298/1_s2.0_S0168007216301245_main.pdf