311 citations · 1.2k across the 38 of their papers we have counts for
1 paper · 2 filters
Fahimeh Bayeh, Peng Fu, Peter Selinger
The category Nom of nominal sets was proposed by Pitts and Gabbay as a setting for the semantics of abstract syntax with variable bindings. It is well-known that Nom is a topos, al…