Pubblicazioni (tutti)

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)

An Algorithmic Characterisation of the Classification Theorem

Gabriele Pulcini (2009) (pdf)

A characterization of MALL hypercoherent semantic correctness

Paolo Tranquilli (2008) (pdf)

Computational Algebraic Approaches to Natural Language

Claudia Casadio, Joachim Lambek (2008)

Computing Surfaces via pq-Permutations (extended version)

Gabriele Pulcini (2008) (pdf)

A Geometrical Procedure for Computing Relaxation

Gabriele Pulcini (2008) (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)

Computing Surfaces via pq-Permutations

Gabriele Pulcini (2008) (pdf)

Applying Pregroups to Italian Statements and Questions

Claudia Casadio (2007)

Intuitionistic Differential Nets and Lambda-Calculus

Paolo Tranquilli (2007) (pdf)

Permutative Additives and Exponentials

Gabriele Pulcini (2007) (pdf)

The Separation Theorem for Differential Interaction Nets

Damiano Mazza, Michele Pagani (2007)

Edifices and Full Abstraction for the Symmetric Interaction Combinators

Damiano Mazza (2007)

Observational Equivalence for the Interaction Combinators and Internal Separation

Damiano Mazza (2007)