Login / Signup

A cubical model of homotopy type theory.

Steve Awodey
Published in: Ann. Pure Appl. Log. (2018)
Keyphrases