Course pages 2012–13
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 digested parts of the following three papers.
- 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© 2004 Elsevier B. V.]
The forthcoming book
- AM Pitts, Nominal Sets: names and symmetry in computer science (CUP Tracts in TCS, vol. 57, 2013, to appear)
goes into the material in greater detail. Draft copies are available from the author - send requests by email.