Gluing resource proof-structures: inhabitation and inverting the Taylor expansion

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

Research output: Contribution to journalSpecial issuepeer-review

Original languageEnglish
JournalLogical Methods in Computer Science
Publication statusAcceptance date - 15 Dec 2020

Cite this