Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Myriam QUATRINI



Année
Publications
Files Type
  Fleury Marie-Renée, Quatrini Myriam, Tronçon Samuel.
Dialogues in ludics.
Actes du Colloque en l'honneur de A. Lecomte, Pauillac 2007, à paraître.
PDF ACTI
  Quatrini Myriam.
Une relecture ludique des stratagèmes de Schopenhauer.
Anachronismes Logiques, édité par Samuel Tronçon, Presses de la Sorbonne, à paraître.
PDF ACLN
  Lecomte Alain, Quatrini Myriam, Fleury Marie-Renée.
Ludics and anti-realism.
Logic and Anti-Realism, édité par S. Rahman et J. Symons, Springer, série Logic, Epistemology, and the Unity of Science, à paraître.
PDF ACL
  Lecomte Alain, Quatrini Myriam.
Dialogue and interaction: the ludics view.
Proceedings of the workshop on Theories of Information Dynamics and Interaction and their Applications to Dialogue, ESSLLI 2010, Copenhague, à paraître.
PDF ACTI
2012 Fouqueré Christophe, Quatrini Myriam.
Un cadre formel issu de la théorie de la démonstration pour la théorie de l'argumentation [A proof-theoretic framework for argumentation modelling].
Math. Sci. Hum. Math. Soc. Sci. No. 198, 49--83, 2012.
PDF ACL
2011 Lecomte Alain, Quatrini Myriam.
Figures of dialogue: a view from Ludics.
Synthese 183:59-85, Springer, 2011.
PDF ACL
  Lecomte Alain, Quatrini Myriam.
Ludics and Rethorics.
Ludics, Dialogue and Interaction, Actes de PRELUDE, edited by A. Lecomte and S. Tronçon, Springer-Folli, n° LNAI 6505, pp 32--59, 2011.
PDF ACTI
2010 Lecomte Alain, Quatrini Myriam.
Pour une étude du langage via l'interaction : dialogues et sémantique en ludique.
Mathématiques et Sciences Humaines, numéro 189, 37--67, 2010.
PDF ACL
2009 Lecomte Alain, Quatrini Myriam.
Ludics and its applications to Natural Language Semantics.
Ono, Kanazawa & de Queiroz (eds), Logic, Language, Information and Computation, Proceedings of the 16th International Workshop WoLLIC 2009, Tokyo, Japan, LNAI no. 5514, Springer, 2009.
PDF ACTI
2007 Fleury Marie-Renée, Quatrini Myriam.
A mixed lambda-calculus.
Studia Logica 87, no. 2-3, 269--294, 2007.
PDF ACLN
2005 Laurent Olivier, Quatrini Myriam, Tortora de Falco Lorenzo.
Polarized and focalized linear and classical proofs.
Ann. Pure Appl. Logic 134, no. 2-3, 217--264, 2005.
PDF ACL
2004 Fleury Marie-Renée, Quatrini Myriam.
First order in Ludics.
Math. Structures Comput. Sci. 14, no. 2, 189--213, 2004.
link ACL
  Faggian Claudia, Fleury Marie-Renée, Quatrini Myriam.
An introduction to uniformity in Ludics.
Linear logic in computer science, 236--246, London Math. Soc. Lecture Note Ser., 316, Cambridge Univ. Press, Cambridge, 2004.
PDF  
1996 Quatrini Myriam
A denotational semantics of LC2.
Arch. Math. Logic 35, no. 1, 1--32, 1996.
PDF ACL
  Quatrini Myriam, Tortora de Falco Lorenzo
Polarisation des preuves classiques et renversement [Polarization of classical proofs and reversion],
C. R. Acad. Sci. Paris Sér. I Math. 323, no. 2, 113--116, 1996.
PDF ACL

 

ex-Directrice de l'IREM (au 01/09/2001 au 31/08/2005)


Last update : april 29, 2013, EL.