School of Computer Science

A Model of Intensional Type Theory in SSet

Date(s)
Friday 21st January 2011 (15:00-16:00)
Contact
Dr Peter Morris
Description

Speaker: Thomas Streicher  TU Darmstadt

Abstract: PDF

School of Computer Science

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

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