Login / Signup

A Cubical Approach to Synthetic Homotopy Theory.

Daniel R. LicataGuillaume Brunerie
Published in: LICS (2015)
Keyphrases