Computer Laboratory

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


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]