Proof-Net as Graph, Taylor Expansion as Pullback.

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

Browse the full WoLLIC paper archive.