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

blob: 00f70e4226b31120e515df4117690dc3876bea09 (plain)

# Reference

1. [Chu construction on linear logic](http://boxbase.org/entries/2019/jul/15/chu-construction/)