[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
