Luc Pellissier (LIPN, Paris Nord), Coherence, Taylor expansion and box-connected proof-nets
Schedule
- Oct. 24, 2017, 14:45 - 15:20
Abstract
With Giulio Guerrieri and Lorenzo Tortora de Falco.
We investigate how to determine whether a set of differential proof-net are elements of the Taylor expansion of the same proof-net. We give a partial answer for box-connected proof-nets, a geometric criterion.