Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Peter LeFanu Lumsdaine

The Homotopy Theory of Type Theories

Advances in Mathematics

English