# Reference

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