TY  - RPRT
TI  - Glueability of resource proof-structures: inverting the Taylor expansion (long version)
AU  - Giulio Guerrieri
AU  - Luc Pellissier
AU  - Lorenzo Tortora de Falco
PY  - 2019
UR  - https://arxiv.org/abs/1910.07936
ID  - 1910.07936
ER  -