[TYPES/announce] survey paper "Nominal terms and nominal logics"
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"
More information about the Types-announce