Towards a Directed Homotopy Type Theory
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Nov 01, 2019
- Source ID
- 10.1016/j.entcs.2019.09.012
Entities
People
- Paige Randall North
Organizations
- Air Force Office of Scientific Research