ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Peter Lefanu Lumsdaine

Not registered as user yet

Name: Peter Lefanu Lumsdaine

Country: Sweden

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.

Contributions

FOSSACS 2019Committee Member in Program Committee within the FOSSACS 2019-track
Show activities from other conferences

ETAPS 2019-profile
View general profile