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

Murdoch J. Gabbay, Michael J. Gabbay

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…