Documentation
Some rudimentary notes are available in
postscript and
in pdf. We are
working on better documentation - hassle us to speed up this
process.
A somewhat highlevel description of the formalisation in the example file SOS.thy.
[pdf]
Nominal Bibliography
CiteULike
collection about nominal techniques compiled by Dominic Mulligan (supersedes
the collection below).
Here
is a bibliography of publications related to the nominal logic work.