Pubblicazioni (tutti)

Linear Logic and Polynomial Time

Damiano Mazza (2006) (pdf)

Proofs, Denotational Semantics and Observational Equivalences in Multiplicative Linear Logic

Michele Pagani (2006) (pdf|ps)

Jump from Parallel to Sequential proof: Multiplicatives

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

An embedding of the BSS model of computation in light affine lambda-calculus

Marco Pedicini, Patrick Baillot (2006) (pdf)

A Computational Algebraic Approach to Latin Grammar

Claudia Casadio, Joachim Lambek (2005)

Multiport Interaction Nets and Concurrency

Damiano Mazza (2005)

Permutative Logic

Gabriele Pulcini, Jean-Marc Andreoli, Paul Ruet (2005) (pdf)

Proof nets and Semantics: Coherence and Acyclicity

Paolo Di Giamberardino (2004) (pdf|ps)

New Perspectives in Logic and Formal Linguistics: Proceedings of the V Roma Workshop

Claudia Casadio, Michele Abrusci (2002)

A Tale of Four Grammars

Claudia Casadio, Joachim Lambek (2002)

Dynamic Perspectives in Logic and Linguistics: Proceedings of the IV Roma Workshop

Claudia Casadio, Michele Abrusci (1999)

Proofs and Linguistic Categories: Proceedings 1996 Roma Workshop

Claudia Casadio, Michele Abrusci (1996)

Linear Logic and Lambek Calculus. Proceedings 1993 Rome Workshop

Claudia Casadio, Michele Abrusci, Michael Moortgat (1994)