[TYPES/announce] Foundations of nominal techniques

[murdoch gabbay]

I'd like to announce the availability of a survey and research article
   "Foundations of nominal techniques: logic and semantics of
    variables in abstract syntax"
providing an overview of the applications of nominal sets semantics to
syntax-with-binding.

This is due to appear in the Bulletin of Symbolic Logic.  However, I
am told that it may be some months before the article appears on
paper.  Until then it is available online here:
   http://gabbay.org.uk/papers.html#fountl

Murdoch Gabbay