uniqueness.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/uniqueness.md

blob: 2e61a37e9fe65be2a380e4ba49a1986ed145fc1b (plain)

# Reference

0. []()
0. [Uniqueness Typing Simplified](https://www.researchgate.net/publication/221600600_Uniqueness_Typing_Simplified)