| 2008 |
|---|
| 14 | EE | Paolo Di Giamberardino,
Claudia Faggian:
Proof nets sequentialisation in multiplicative linear logic.
Ann. Pure Appl. Logic 155(3): 173-182 (2008) |
| 2007 |
|---|
| 13 | EE | Claudia Faggian,
Mauro Piccolo:
Ludics is a Model for the Finitary Linear Pi-Calculus.
TLCA 2007: 148-162 |
| 12 | EE | Claudia Faggian,
Mauro Piccolo:
A Graph Abstract Machine Describing Event Structure Composition.
Electr. Notes Theor. Comput. Sci. 175(4): 21-36 (2007) |
| 2006 |
|---|
| 11 | EE | Paolo Di Giamberardino,
Claudia Faggian:
Jump from Parallel to Sequential Proofs: Multiplicatives.
CSL 2006: 319-333 |
| 10 | EE | Claudia Faggian:
Interactive observability in Ludics: The geometry of tests.
Theor. Comput. Sci. 350(2-3): 213-233 (2006) |
| 2005 |
|---|
| 9 | EE | Pierre-Louis Curien,
Claudia Faggian:
L-Nets, Strategies and Proof-Nets.
CSL 2005: 167-183 |
| 8 | EE | Claudia Faggian,
François Maurel:
Ludics Nets, a game Model of Concurrent Interaction.
LICS 2005: 376-385 |
| 2004 |
|---|
| 7 | EE | Claudia Faggian:
Interactive Observability in Ludics.
ICALP 2004: 506-518 |
| 2002 |
|---|
| 6 | EE | Claudia Faggian:
Travelling on Designs.
CSL 2002: 427-441 |
| 5 | EE | Claudia Faggian,
Martin Hyland:
Designs, Disputes and Strategies.
CSL 2002: 442-457 |
| 2000 |
|---|
| 4 | EE | Claudia Faggian:
Proof construction and non-commutativity: a cluster calculus.
PPDP 2000: 80-91 |
| 3 | | Giovanni Sambin,
Giulia Battilotti,
Claudia Faggian:
Basic Logic: Reflection, Symmetry, Visibility.
J. Symb. Log. 65(3): 979-1013 (2000) |
| 1998 |
|---|
| 2 | EE | Claudia Faggian:
A Term Calculus for Unitary Approach to Nomalization.
ICFP 1998: 347 |
| 1997 |
|---|
| 1 | | Claudia Faggian:
Classical Proofs via Basic Logic.
CSL 1997: 203-219 |
