Glueability of Resource Proof-Structures: Inverting the Taylor Expansion.

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

Browse the full CSL paper archive.