Paolo Di Giamberardino
Paolo Di Giamberardino
Post-doc fellow, Dipartimento di Matematica ed Informatica, Università di Cagliari
Verified email at unica.it - Homepage
Title
Cited by
Cited by
Year
Soft session types
U Dal Lago, P Di Giamberardino
17*2011
Jump from parallel to sequential proofs: Multiplicatives
P Di Giamberardino, C Faggian
Computer Science Logic, 319-333, 2006
132006
Proof nets sequentialisation in multiplicative linear logic
P Di Giamberardino, C Faggian
Annals of Pure and Applied Logic 155 (3), 173-182, 2008
122008
Contract agreements via logic
M Bartoletti, T Cimoli, P Di Giamberardino, R Zunino
arXiv preprint arXiv:1306.0026, 2013
72013
Jump from parallel to sequential proofs: on polarities and sequentiality in Linear Logic
P Di Giamberardino
Università degli Studi RomaTre, 2008
62008
Vicious circles in contracts and in logic
M Bartoletti, T Cimoli, P Di Giamberardino, R Zunino
Science of Computer Programming 109, 61-95, 2015
52015
Jump from parallel to sequential proofs: exponentials.
P Di Giamberardino
Math. Struct. Comput. Sci. 28 (7), 1204-1252, 2018
4*2018
Jump from parallel to sequential proof: multiplicatives. volume 4207 of Lecture Notes in Computer Science
P Di Giamberardino, C Faggian
Springer Berlin/Heidelberg, 2006
42006
Debits and credits in Petri nets and linear logic
M Bartoletti, P Degano, P Di Giamberardino, R Zunino
Logic, Rewriting, and Concurrency, 135-159, 2015
32015
Jump from parallel to sequential proofs: Additives
P Di Giamberardino
32011
Proof nets and semantics: coherence and acyclicity
P Di Giamberardino
Mémoire de DEA de mathématiques discrétes et fondements de l’informatique …, 2004
32004
On session types and polynomial time.
U Dal Lago, P Di Giamberardino
Math. Struct. Comput. Sci. 26 (8), 1433-1458, 2016
22016
On session types and polynomial time
P Di Giamberardino, U Dal Lago
Mathematical Structures in Computer Science 1, 2015
22015
Towards a linear contract logic
M Bartoletti, P Di Giamberardino, R Zunino
ICTCS2013, 148, 2013
2013
Soft Session Types
P Di Giamberardino, U dal Lago
CONCUR 2011, 22nd International Conference on Concurrency Theory 64, 59-73, 2011
2011
Jump from parallel to sequential proofs
P Di Giamberardino
The system can't perform the operation now. Try again later.
Articles 1–16