Homotopy type theory

Homotopy type theoryUnivalent Type theory as the foundations of mathematics
PreviousType InferenceNextHomotopy type theory

Last updated

Was this helpful?