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|
|FSCD 2017||Author of Displayed categories within the FSCD 2017-track|
|CPP 2017||Author of The HoTT library: a formalization of homotopy type theory in Coq within the CPP-track|