Institut de Mathématiques de Luminy


Files &
2002 Faggian Claudia, Fleury-Donnadieu Marie-Renée, Quatrini Myriam.
An introduction to uniformity in Ludics.
To appear in the book Linear Logic in Computer Science, Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Phil Scott eds., 2002.
2000 Faggian Claudia.
Proof construction and non commutativity : a cluster calculus.
Proceedings of PPDP 2000, International Conference on Principles and Practice of Declarative Programming, ACM Press, 2000.
  Sambin Giovanni, Battilotti Giulia, Faggian Claudia.
Basic logic: reflection, symmetry, visibility.
J. Symbolic Logic 65, no. 3, 979--1013, 2000

1998 Faggian Claudia.
Classical proofs via basic logic.
Computer science logic (Aarhus, 1997), 203--219, Lecture Notes in Comput. Sci., 1414, Springer, Berlin, 1998
  Faggian Claudia, Sambin Giovanni.
From basic logic to quantum logics with cut-elimination.
Proceedings of the International Quantum Structures Association 1996 (Berlin). Internat. J. Theoret. Phys. 37, no. 1, 31--37, 1998

Last update : april 24, 2002, EL.