|
 |
Last update : april 24, 2002, EL.
|
Institut
de Mathématiques de Luminy
| BIBLIOGRAPHIE - Claudia FAGGIAN |
|
Année
|
Publications
|
Files
& Ref.IML |
| 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.
|