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

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)

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 = 'oslfvjllqkr2pejdf4c1c5ksd4' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/pubblicazioni/tutti', '', '3.236.100.210', 1725977496) in /var/www/church/includes/database.mysql.inc on line 121