TY  - RPRT
TI  - Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
AU  - Giulio Guerrieri
AU  - Luc Pellissier
AU  - Lorenzo Tortora de Falco
PY  - 2022
DO  - 10.46298/lmcs-18(2:4)2022
UR  - https://arxiv.org/abs/2008.03103
ID  - 2008.03103
ER  -