Similar Items: Completeness of Nominal PROPs
- Universal Constructions for (Co)Relations: categories, monoidal categories, and props
- Automata theory in nominal sets
- Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
- Full abstraction for nominal general references
- A dependent nominal type theory
- Rule Formats for Nominal Process Calculi