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

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

Research output: Contribution to journal › Special issue › peer-review

Original language	English
Journal	Logical Methods in Computer Science
Publication status	Acceptance date - 15 Dec 2020

Cite this

@article{fd84abed618b45e48ff4c3bbc209ecf3,

title = "Gluing resource proof-structures: inhabitation and inverting the Taylor expansion",

author = "Giulio Guerrieri and Luc Pellissier and {Tortora de Falco}, Lorenzo",

year = "2020",

month = dec,

day = "15",

language = "English",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Technischen Universitat Braunschweig",

}