Computer Laboratory

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.

Software