DI GIAMBERARDINO, PAOLO

DI GIAMBERARDINO, PAOLO  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

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