Representation and duality of the untyped lambda-calculus in nominal lattice and topological semantics, with a proof of topological completeness
classification
💻 cs.LO
math.LO
keywords
topologicaldualitylambda-calculusnominalsemanticssetsabsolutelyadjoints
read the original abstract
We give a semantics for the lambda-calculus based on a topological duality theorem in nominal sets. A novel interpretation of lambda is given in terms of adjoints, and lambda-terms are interpreted absolutely as sets (no valuation is necessary).
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.