A Constructive Model of Directed Univalence in Bicubical Sets

Document Details

Document Type: Pub Defense Publication
Publication Date: Jul 08, 2020
Source ID: 10.1145/3373718.3394794

Entities

People

Daniel R. Licata
Matthew Z. Weaver

Organizations

Air Force Office of Scientific Research
Princeton University
Wesleyan University