quantitative.md « type_theory « bookmark « documentation - lux - fork of https://github.com/LuxLang/lux for my bookshelf

about summary refs log tree commit diff

path: root/documentation/bookmark/type_theory/quantitative.md

blob: 0c2fd800c5c7ee4aa96ca38310e8fa908ef266a4 (plain)

# Reference

1. [The Syntax and Semantics of Quantitative Type Theory](https://bentnib.org/quantitative-type-theory.html)