DI GIAMBERARDINO, PAOLO
DI GIAMBERARDINO, PAOLO
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
Jump from Parallel to Sequential Proofs : Exponentials
In corso di stampa DI GIAMBERARDINO, Paolo
On Session Types and Polynomial Time
2016-01-01 Dal Lago, Ugo; DI GIAMBERARDINO, Paolo
Debits and Credits in Petri Nets and Linear Logic
2015-01-01 Bartoletti, Massimo; Degano, P; DI GIAMBERARDINO, Paolo; Zunino, R.
Vicious circles in contracts and in logic
2015-01-01 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R.
Contract agreement via logic
2013-01-01 Bartoletti, Massimo; Cimoli, Tiziana; DI GIAMBERARDINO, Paolo; Zunino, R.
Towards a linear contract logic
2013-01-01 Bartoletti, Massimo; DI GIAMBERARDINO, Paolo; Roberto, Zunino
Soft Session Types
2011-01-01 DI GIAMBERARDINO, Paolo; Ugo dal, Lago
Proof nets sequentialisation in multiplicative linear logic
2008-01-01 DI GIAMBERARDINO, Paolo; Faggian, Claudia
Jump from Parallel to Sequential Proofs: Multiplicatives
2006-01-01 DI GIAMBERARDINO, Paolo; Faggian, Claudia
| 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 |