Benvenuti nell'Anagrafe della Ricerca d'Ateneo
La valutazione delle attività di ricerca che si svolgono nelle università ha assunto un'importanza rilevante sia per l'intero sistema universitario sia all'interno di ogni singolo ateneo. Roma Tre si è quindi dotata di idonei strumenti informativi in grado di supportare al meglio le azioni di monitoraggio e di valutazione delle attività di ricerca svolte nei propri dipartimentied ha realizzato una Anagrafe della Ricerca di Ateneo.
EnglishA Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing those sets of resource proof-structures that are part of the Taylor expansion of some MELL proof-structure, through a rewriting system acting both on resource and MELL proof-structures. As a consequence, we also prove semi-decidability of the type inhabitation problem for cut-free MELL proof-structures.
Guerrieri, G., Pellissier, L., & Tortora De Falco, L. (2021). Gluing resource proof-structures: inhabitation and inverting the Taylor expansion [10.48550/ARXIV.2008.03103].
| Titolo: | Gluing resource proof-structures: inhabitation and inverting the Taylor expansion | |
| Autori: | ||
| Data di pubblicazione: | 2021 | |
| Citazione: | Guerrieri, G., Pellissier, L., & Tortora De Falco, L. (2021). Gluing resource proof-structures: inhabitation and inverting the Taylor expansion [10.48550/ARXIV.2008.03103]. | |
| Handle: | http://hdl.handle.net/11590/404882 | |
| Appare nelle tipologie: | 5.12 Altro |
File in questo prodotto:
Copyright © 2022