https://bentnib.org/quantitative-type-theory.html

https://bentnib.org/quantitative-type-theory.html

Last synced: 4 months ago
JSON representation