PhD in Homotopy Type Theory,
The University of Nottingham School of Computer Science Jubilee Campus Nottingham, NG7 1BB
telephone: +44 (0) 115 95 14220 email:fp-lunch@cs.nott.ac.uk