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

[murdoch gabbay]

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
  http://www.gabbay.org.uk/papers.html#nomtnl

(This can be viewed as a companion piece to my survey of nominal sets,
"Foundations of nominal techniques"
http://www.gabbay.org.uk/papers.html#fountl.)

Murdoch Gabbay