Luc Pellissier (LIPN, Paris Nord), Coherence, Taylor expansion and box-connected proof-nets

Schedule

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.