[TYPES/announce] survey paper "Nominal terms and nominal logics"

murdoch gabbay murdoch.gabbay at gmail.com
Sun Feb 27 08:52:37 EST 2011

I'd like to announce the availability of a survey article
  "Nominal terms and nominal logics: from foundations to meta-mathematics"
providing an overview of rewriting, algebra, and first-order logic
based on nominal terms.
This is due to appear in the Handbook of Philosophical Logic, Volume
17.  It is available online at

(This can be viewed as a companion piece to my survey of nominal sets,
"Foundations of nominal techniques"

Murdoch Gabbay

More information about the Types-announce mailing list