Centre for Advanced Study

at the Norwegian Academy of Science and Letters

Peter LeFanu Lumsdaine

Title Assistant Professor
Academic Institution Stockholm University
Academic department Department of Mathematics
Country Sweden
Contact Information +44 79 348 1713 http://peterlefanulumsdaine.com
Disciplines Mathematics
Area(s) of Expertise Dependent type theory, category theory, homotopy type theory, constructive logic, categorical logic

CAS Project