Pubblicazioni (tutti)

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)


Verso una sintassi trascendentale

Paolo Pistone (2011) (pdf)

Ontologies, Logic and Interaction

Marco Romano (2011)


Soft Session Types

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



Disentangling Truth from Undecidability: the goedelian view

Mario Piazza, Gabriele Pulcini (2010) (pdf)


Universal and Particular Contradiction in Human Reasoning

Maria Teresa Medaglia, Camillo Porcaro, Michele Abrusci, Claudia Casadio, Franca Tecchio, Stefano Seri, G. Di Lorenzo, P. M. Rossini (2009)


Computational Algebraic Approaches to Natural Language

Claudia Casadio, Joachim Lambek (2008)