Peter Lefanu Lumsdaine

Not registered as user yet

Name:Peter Lefanu Lumsdaine
Country:Sweden
Affiliation:Stockholm University
Research interests: category theory and logic, including homotopy type theory, higher category theory, topos theory, and constructive mathematics.

Contributions