![](https://www.pdfsearch.io/img/2c837e9abce8c9e9a05898851b2d3eba.jpg) Date: 2015-03-04 12:07:08
| | Geometry of Interaction, part 2: Unification and exponentials Marc Bagnol September 6, 2013 In the previous episode, we saw a model of linear logic and its cut-elimination procedure based on “flows”: links betweenAdd to Reading ListSource URL: www.normalesup.orgDownload Document from Source Website File Size: 244,01 KBShare Document on Facebook
|