Type-theoretic weak factorization systems | OpenReview

OpenReview.net

Login

Go to CORR 2019 homepage

Type-theoretic weak factorization systems

Paige Randall North

2019 (modified: 14 Mar 2023)CoRR 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