Course pages 2013–14
Nominal Sets and Their Applications
Lecture slides
- lecture 1 [pdf]
- lecture 2 [pdf]
- lecture 3 [pdf]
- lecture 4 [pdf]
- lecture 5 [pdf]
- lecture 6 [pdf]
- lecture 7 [pdf]
- lecture 8 [pdf]
Exercise sheet
[pdf]
Reference material
The lectures are based on parts of the following book, draft copies of which are available from the author.
- AM Pitts, Nominal Sets: names and symmetry in computer science (CUP Tracts in TCS, vol. 57, 2013)
The following three papers are relevant:
- AM Pitts, Alpha-Structural Recursion and Induction, Journal of the ACM 53(2006)459–506. [pdf © 2006 ACM. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.]
- AM Pitts, Structural Recursion with Locally Scoped Names, Journal of Functional Programming 21(2011)235–286. [pdf © 2011 CUP. ]
- C Urban, AM Pitts and MJ Gabbay, Nominal Unification, Theoretical Computer Science 323(2004) 473-497. [pdf draft version]