35 citations · 124 across the 25 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 4 cited
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
Murdoch J. Gabbay
By operations on models we show how to relate completeness with respect to permissive-nominal models to completeness with respect to nominal models with finite support. Models with…
cs.LO2011★ 9 cited
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets
Murdoch J. Gabbay, Dominic P. Mulligan
We investigate a class of nominal algebraic Henkin-style models for the simply typed lambda-calculus in which variables map to names in the denotation and lambda-abstraction maps t…