Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = '9b86354gt6fem789nbbqk1nq00' in /var/www/church/includes/database.mysql.inc on line 121
Pubblicazioni (Di Giamberardino, Paolo) | Gruppo di Logica e Geometria della Cognizione

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)


Soft Session Types

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



Proof nets sequentialisation in Multiplicative Linear Logic

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


Jump from Parallel to Sequential proof: Multiplicatives

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



Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = '9b86354gt6fem789nbbqk1nq00' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/pubblicazioni/Di+Giamberardino%2C+Paolo', '', '98.80.143.34', 1728488980) in /var/www/church/includes/database.mysql.inc on line 121