[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
  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


More information about the Types-announce mailing list