35 citations · 124 across the 25 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 3 cited
Semantics out of context: nominal absolute denotations for first-order logic and computation
Murdoch J. Gabbay
Call a semantics for a language with variables absolute when variables map to fixed entities in the denotation. That is, a semantics is absolute when the denotation of a variable a…
cs.LO2013★ 3 cited
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…