Suivre
Paolo Di Giamberardino
Paolo Di Giamberardino
Affiliation inconnue
Adresse e-mail validée de unica.it - Page d'accueil
Titre
Citée par
Citée par
Année
Soft session types
U Dal Lago, P Di Giamberardino
17*2011
Proof nets sequentialisation in multiplicative linear logic
P Di Giamberardino, C Faggian
Annals of Pure and Applied Logic 155 (3), 173-182, 2008
162008
Jump from parallel to sequential proofs: Multiplicatives
P Di Giamberardino, C Faggian
Computer Science Logic, 319-333, 2006
152006
Jump from parallel to sequential proof: multiplicatives. volume 4207 of Lecture Notes in Computer Science
P Di Giamberardino, C Faggian
Springer Berlin/Heidelberg, 2006
92006
On session types and polynomial time
U Dal Lago, P Di Giamberardino
Mathematical Structures in Computer Science 26 (8), 1433-1458, 2016
72016
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: exponentials
P Di Giamberardino
Mathematical Structures In Computer Science 28 (7), 1204-1252, 2018
6*2018
Vicious circles in contracts and in logic
M Bartoletti, T Cimoli, P Di Giamberardino, R Zunino
Science of Computer Programming 109, 61-95, 2015
62015
Jump from parallel to sequential proofs: on polarities and sequentiality in Linear Logic
P Di Giamberardino
Università degli Studi RomaTre, 2008
62008
On session types and polynomial time
P Di Giamberardino, U Dal Lago
Mathematical Structures in Computer Science 1, 2015
52015
Jump from parallel to sequential proofs: Additives
P Di Giamberardino
52011
Debits and credits in Petri nets and linear logic
M Bartoletti, P Degano, P Di Giamberardino, R Zunino
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015
32015
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
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
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 64, 59-73, 2011
2011
Contract agreements via logic
MBT Cimoli, P Di Giamberardino, R Zunino
Jump from parallel to sequential proofs
P Di Giamberardino
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–17