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 between

First Page		Document Content
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 between Add to Reading List Source URL: www.normalesup.org Download Document from Source Website File Size: 244,01 KB Share Document on Facebook