Search U Cam DPMMS Home
University of Cambridge Home Department of Pure Mathematics
and Mathematical Statistics
DPMMS > Research > Category Theory Seminar

Category Theory Seminar
Easter 2008

Description to be confirmed

Tue, 13 May 2008 14:15 in MR9

Steve Awodey (Carnegie-Mellon University)
Homotopical aspects of type theory