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 - Interaction model - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2015-03-04 12:07:08 Open Document File Size: 244,01 KB Share Result on Facebook City Paris / Marseille / / Country Netherlands / / IndustryTerm unification algorithm / cut-systems / cut systems / injective internal tensor product / / OperatingSystem Aix / / Organization Association for Symbolic Logic / / Person Laurent Regnier / Jean Y. Girard / Ugo Montanari / Ai / Marc Bagnol / Jean-Yves Girard / Olivier Laurent / Alberto Martelli / Logic Colloquium / / Position editor / / Region North Holland / / Technology Dom / unification algorithm / / URL http / SocialTag Mathematics Deduction Entailment Logical consequence Metalogic Philosophical logic Symbol Unification Admissible rule Logic

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 List