A Constructive Model of Directed Univalence in Bicubical Sets.

Matthew Z. Weaver, Daniel R. Licata

Browse the full LICS paper archive.