Abstract
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).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have