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

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

Last synced: 6 months ago
JSON representation