School of Computer Science
 

Image of Stiephen Pradal

Stiephen Pradal

PhD in Homotopy Type Theory,

Contact

School of Computer Science

University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

For all enquires please visit:
www.nottingham.ac.uk/enquire