Result 1 to 15 from 15 total
Figures of dialogue: a view from ludics. (English)
Synthese 183, Suppl. 1, 59-85 (2011).
1
Dialogues in Ludics. (English)
Pogodalla, Sylvain (ed.) et al., Logic and grammar. Essays dedicated to Alain Lecomte on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-21489-9/pbk). Lecture Notes in Computer Science 6700. Lecture Notes in Artificial Intelligence, 138-157 (2011).
2
Logic and grammar. Essays dedicated to Alain Lecomte on the occasion of his 60th birthday. (English)
Lecture Notes in Computer Science 6700. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-21489-9/pbk). xv, 159~p. EUR~49.22 (2011).
3
Ludics and rhetorics. (English)
Lecomte, Alain (ed.) et al., Ludics, dialogue and interaction. PRELUDE project ‒ 2006‒2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19210-4/pbk). Lecture Notes in Computer Science 6505. Lecture Notes in Artificial Intelligence, 32-57 (2011).
4
Dialogues in ludics (English)
Logic and Grammar, 138-157 (2011).
5
Ludics study of interaction in language. (Pour une étude du langage via l’interaction: dialogues et sémantiques en ludique.) (French)
Math. Sci. Hum., Math. Soc. Sci. 189, 37-67 (2010).
6
Ludics and its applications to natural language semantics. (English)
Comput. Res. Repos. 2009, Article No. 0910.1484 (2009).
7
Ludics and its applications to natural language semantics. (English)
Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21‒24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 242-255 (2009).
8
Ludics and its applications to natural language semantics (English)
WoLLIC, 242-255 (2009).
9
A mixed $λ$-calculus. (English)
Stud. Log. 87, No. 2-3, 269-294 (2007).
10
Polarized and focalized linear and classical proofs. (English)
Ann. Pure Appl. Logic 134, No. 2-3, 217-264 (2005).
11
An introduction to uniformity in Ludics. (English)
Ehrhard, Thomas (ed.) et al., Linear logic in computer science. Based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30‒September 7, 2000. Cambridge: Cambridge University Press (ISBN 0-521-60857-0/pbk). London Mathematical Society Lecture Note Series 316, 235-246 (2004).
12
First order in Ludics. (English)
Math. Struct. Comput. Sci. 14, No. 2, 189-213 (2004).
13
Polarization of classical proofs and reversion. (Polarisation des preuves classiques et renversement.) (French)
C. R. Acad. Sci., Paris, Sér. I 323, No.2, 113-116 (1996).
14
A denotational semantics of $LC2$. (English)
Arch. Math. Logic 35, No.1, 1-32 (1996).
15
Result 1 to 15 from 15 total
Start
Contact
Print
General Help
