8 citations · 15 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 8 cited
PNL to HOL: from the logic of nominal sets to the logic of higher-order functions
Gilles Dowek, Murdoch J. Gabbay
Permissive-Nominal Logic (PNL) extends first-order predicate logic with term-formers that can bind names in their arguments. It takes a semantics in (permissive-)nominal sets. In P…
cs.LO2011★ 7 cited
From nominal sets binding to functions and lambda-abstraction: connecting the logic of permutation models with the logic of functions
Gilles Dowek, Murdoch Gabbay
Permissive-Nominal Logic (PNL) extends first-order predicate logic with term-formers that can bind names in their arguments. It takes a semantics in (permissive-)nominal sets. In P…