Pubblicazioni (Di Giamberardino, Paolo)

On Session Types and Polynomial Time

Paolo Di Giamberardino, Ugo Dal Lago (2014) ()

Towards a linear contract logic (Extended Abstract)

Paolo Di Giamberardino, Massimo Bartoletti, Roberto Zunino (2013) (pdf)

Contract agreements via logic

Paolo Di Giamberardino, Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino (2013) (pdf)

Prove e Tipi: Un'introduzione all'isomorfismo di Curry-Howard

Paolo Di Giamberardino (2012) (pdf)

Soft Session Types

Paolo Di Giamberardino, Ugo Dal Lago (2011) (pdf)

Jump from parallel to sequential proofs: Exponentials

Paolo Di Giamberardino (2011) (pdf)

Jump from Parallel to Sequential Proofs: Additives.

Paolo Di Giamberardino (2011) (pdf)

Proof nets sequentialisation in Multiplicative Linear Logic

Paolo Di Giamberardino, Claudia Faggian (2008) (pdf)

Jump from parallel to sequential proofs: on polarities and sequentiality in Linear Logic

Paolo Di Giamberardino (2008) (pdf)

Jump from Parallel to Sequential proof: Multiplicatives

Paolo Di Giamberardino, Claudia Faggian (2006) (|pdf)

Proof nets and Semantics: Coherence and Acyclicity

Paolo Di Giamberardino (2004) (pdf|ps)