| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 5778192 | Annals of Pure and Applied Logic | 2017 | 137 Pages |
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).
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Murdoch J. Gabbay, Michael Gabbay,