Not registered as user yet
Name: Peter Lefanu Lumsdaine
Affiliation: Stockholm University
Personal website: http://peterlefanulumsdaine.com
Research interests: category theory and logic, including homotopy type theory, higher category theory, topos theory, and constructive mathematics.
|FOSSACS 2019||Committee Member in Program Committee within the FOSSACS 2019-track|
|Show activities from other conferences|
View general profile