blob: 7b87df049ba5d666d63e55d5c6faa397ca49b969 (
plain)
1
2
3
4
5
6
|
# Reference
0. [Linear Types Can Help](http://aidancully.blogspot.com/2021/12/linear-types-can-help.html)
0. [Less Painful Linear Types](http://aidancully.blogspot.com/2021/12/less-painful-linear-types.html)
0. [Chu construction on linear logic](http://boxbase.org/entries/2019/jul/15/chu-construction/)
|
