Università degli Studi di Roma 3 ArcA diA
Archivio Aperto di Ateneo

ArcAdiA >
Tipologia di Documenti >
T - Tesi di dottorato >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2307/176

Title: Jump from parallel to sequential proofs : on polarities and sequentiality in linear logic
Authors: Di Giamberardino, Paolo
Tutor: Abrusci, Vito Michele
Issue Date: 2008
Publisher: Universit√† degli Studi Roma Tre
URI: http://hdl.handle.net/2307/176
Appears in Collections:X_Dipartimento di Filosofia
T - Tesi di dottorato

Files in This Item:

File Description SizeFormat
tesifinale.pdfdigiamberardino726.81 kBAdobe PDF

This item is protected by original copyright

Recommend this item

SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Università degli Studi RomaTre SBA - Sistema Bibliotecario di Ateneo ICT support by CINECA