Functional Programming Lab
 

Image of Stiephen Pradal

Stiephen Pradal

PhD in Homotopy Type Theory,

Contact

Functional Programming Lab

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