# 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/)