Année
Publications
Dialogues in ludics.
Actes du Colloque en l'honneur de A. Lecomte, Pauillac 2007, à paraître.
Une relecture ludique des stratagèmes de Schopenhauer.
Anachronismes Logiques, édité par Samuel Tronçon, Presses de la Sorbonne, à paraître.
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.
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.
270 k
Figures of dialogue: a view from Ludics.
Synthese 183:59-85, Springer, 2011.
535 k
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.
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.
290 k
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.
A mixed lambda-calculus.
Studia Logica 87, no. 2-3, 269--294, 2007.
Polarized and focalized linear and classical proofs.
Ann. Pure Appl. Logic 134, no. 2-3, 217--264, 2005.
First order in Ludics.
Math. Structures Comput. Sci. 14, no. 2, 189--213, 2004.
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
A denotational semantics of LC2,
Arch. Math. Logic 35, no. 1, 1--32, 1996
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
