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.
EnglishLast works in linear logic mark a trend that can be summarized as: studying of fragments of calculi which have good logical properties and a quite powerful class of representable functions. ELL is a system derived from linear logic which presents several of such good properties: first of all a bound of the cut-elimination procedure which is lower w.r.t. the usual one. © 1996 Elsevier B.V. All rights reserved.
Pedicini, M. (1996). Remarks on Elementary Linear Logic. Preliminary Report. In Linear Logic 96 Tokyo Meeting (pp.208-219) [10.1016/S1571-0661(05)80419-0].
| Titolo: | Remarks on Elementary Linear Logic. Preliminary Report | |
| Autori: | ||
| Data di pubblicazione: | 1996 | |
| Rivista: | ||
| Citazione: | Pedicini, M. (1996). Remarks on Elementary Linear Logic. Preliminary Report. In Linear Logic 96 Tokyo Meeting (pp.208-219) [10.1016/S1571-0661(05)80419-0]. | |
| Handle: | http://hdl.handle.net/11590/402682 | |
| Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
Copyright © 2022