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.