DI GIAMBERARDINO, PAOLO

DI GIAMBERARDINO, PAOLO  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.004 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
Contract agreement via logic 1-gen-2013 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Jump from Parallel to Sequential Proofs : Exponentials In corso di stampa DI GIAMBERARDINO, Paolo MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE -
Jump from Parallel to Sequential Proofs: Multiplicatives 1-gen-2006 DI GIAMBERARDINO, Paolo; Faggian, Claudia - Zoltán Ésik
On Session Types and Polynomial Time 1-gen-2016 Dal Lago, Ugo; DI GIAMBERARDINO, Paolo MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE -
Proof nets sequentialisation in multiplicative linear logic 1-gen-2008 DI GIAMBERARDINO, Paolo; Faggian, Claudia ANNALS OF PURE AND APPLIED LOGIC -
Soft Session Types 1-gen-2011 DI GIAMBERARDINO, Paolo; Ugo dal, Lago ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Towards a linear contract logic 1-gen-2013 Bartoletti, Massimo; DI GIAMBERARDINO, Paolo; Roberto, Zunino - -
Vicious circles in contracts and in logic 1-gen-2015 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R. SCIENCE OF COMPUTER PROGRAMMING -