PhD in Homotopy Type Theory,
The ÀÖ²¥´«Ã½ School of Computer Science Jubilee Campus ÀÖ²¥´«Ã½, NG7 1BB
telephone: +44 (0) 115 95 14220 email:fp-lunch@cs.nott.ac.uk