A cubical model of homotopy type theory

Document Details

Document Type

Pub Defense Publication

Publication Date

Dec 01, 2018

Source ID

10.1016/j.apal.2018.08.002

Entities