Towards a Directed Homotopy Type Theory | OpenReview

OpenReview.net

Login

Go to ENTCS 2019 homepage

Towards a Directed Homotopy Type Theory

Paige Randall North

2019 (modified: 14 Mar 2023)MFPS 2019Readers: Everyone

0 Replies

Loading

About OpenReview
Hosting a Venue
All Venues

Contact
Sponsors
Join the Team

Frequently Asked Questions
Terms of Use
Privacy Policy

About OpenReview
Hosting a Venue
All Venues
Sponsors
Join the Team

Frequently Asked Questions
Contact
Terms of Use
Privacy Policy

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2025 OpenReview