Myriam Quatrini Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlain Lecomte, Myriam Quatrini: Ludics and Its Applications to Natural Language Semantics. WoLLIC 2009: 242-255
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlain Lecomte, Myriam Quatrini: Ludics and its Applications to natural Language Semantics CoRR abs/0910.1484: (2009)
2007
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Renée Fleury, Myriam Quatrini: A Mixed lambda-calculus. Studia Logica 87(2-3): 269-294 (2007)
2005
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco: Polarized and focalized linear and classical proofs. Ann. Pure Appl. Logic 134(2-3): 217-264 (2005)
2004
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarie-Renée Fleury, Myriam Quatrini: First order in Ludics. Mathematical Structures in Computer Science 14(2): 189-213 (2004)

Coauthor Index

1Lorenzo Tortora de Falco [2]
2Marie-Renée Fleury [1] [3]
3Olivier Laurent [2]
4Alain Lecomte [4] [5]

Colors in the list of coauthors

Copyright © Tue Dec 1 12:01:14 2009 by Michael Ley (ley@uni-trier.de)