Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
101 | Alexis Saurin |
Towards Ludics Programming: Interactive Proof Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 253-268, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ludics, Proof Normalization, Interaction, Logic Programming, Game Semantics, Proof Search |
94 | Stefano Guerrini, Patrizia Marzuoli |
Commutative Locative Quantifiers for Multiplicative Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II, pp. 396-407, 2006, Springer, 3-540-35907-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Ludics, linear logic, proof nets |
91 | Michele Basaldella, Claudia Faggian |
Ludics with Repetitions (Exponentials, Interactive Types and Completeness). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 375-384, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
70 | Alain Lecomte, Myriam Quatrini |
Ludics and Its Applications to Natural Language Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 242-255, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
59 | Michele Basaldella, Kazushige Terui |
Infinitary Completeness in Ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 294-303, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
ludics, completeness, linear logic, recursive types, coinduction |
56 | Christophe Fouqueré |
Ludics and Web: Another Reading of Standard Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRELUDE Project ![In: Ludics, Dialogue and Interaction - PRELUDE Project - 2006-2009. Revised Selected Papers, pp. 58-77, 2011, Springer, 978-3-642-19210-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
56 | Alain Lecomte, Myriam Quatrini |
Ludics and Rhetorics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRELUDE Project ![In: Ludics, Dialogue and Interaction - PRELUDE Project - 2006-2009. Revised Selected Papers, pp. 32-57, 2011, Springer, 978-3-642-19210-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
49 | Claudia Faggian, Mauro Piccolo |
Ludics is a Model for the Finitary Linear Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 148-162, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Claudia Faggian, François Maurel |
Ludics Nets, a game Model of Concurrent Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings, pp. 376-385, 2005, IEEE Computer Society, 0-7695-2266-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Claudia Faggian |
Interactive Observability in Ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, pp. 506-518, 2004, Springer, 3-540-22849-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Michele Basaldella, Kazushige Terui |
On the Meaning of Logical Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 50-64, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Jean-Yves Girard 0001 |
Locus Solum: From the Rules of Logic to the Logic of Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings, pp. 38, 2001, Springer, 3-540-42554-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Alberto Naibo, Yuta Takahashi |
Harmony in the Light of Computational Ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Linearity&TLLA@IJCAR-FSCD ![In: Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020., pp. 132-156, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Skye Bougsty-Marshall |
The Dynamics of Growing Symbols: A Ludics Approach to Language Design by Autonomous Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGI ![In: Artificial General Intelligence - 13th International Conference, AGI 2020, St. Petersburg, Russia, September 16-19, 2020, Proceedings, pp. 44-53, 2020, Springer, 978-3-030-52151-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Stefano Del Vecchio |
Process Algebras inside Ludics : an interpretation of the Calculus of Communicating Systems. (Algèbres de processus dans la Ludique : une interprétation du Calcul des Systèmes Communicants). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
28 | Stefano Del Vecchio, Virgile Mogbil |
An Interpretation of CCS into Ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: 12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017, pp. 97-114, 2017, Elsevier. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Alice Pavaux |
Inductive and Functional Types in Ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.08925, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Alice Pavaux |
Inductive and Functional Types in Ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden, pp. 34:1-34:20, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-045-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Alice Pavaux |
Inductive, Functional and Non-Linear Types in Ludics. (Types inductifs, fonctionnels et non-linéaires en ludique). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
28 | David Baelde, Amina Doumane, Alexis Saurin |
Least and Greatest Fixed Points in Ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany, pp. 549-566, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-90-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Michele Basaldella |
Ludics without Designs I: Triads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 49-63, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Christophe Fouqueré, Myriam Quatrini |
Ludics Characterization of Multiplicative-Additive Linear Behaviours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1403.3772, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
28 | Eugenia Sironi |
Type Theory in Ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1402.2511, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
28 | Christophe Fouqueré, Myriam Quatrini |
Incarnation in Ludics and maximal cliques of paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 9(4), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Christophe Fouqueré, Myriam Quatrini |
Ludics and Natural Language: First Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics - 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings, pp. 21-44, 2012, Springer, 978-3-642-31261-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Alain Lecomte, Myriam Quatrini |
Figures of dialogue: a view from Ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 183(Supplement-1), pp. 59-85, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Kazushige Terui |
Computational ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 412(20), pp. 2048-2071, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Michele Basaldella, Claudia Faggian |
Ludics with repetitions (Exponentials, Interactive types and Completeness) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 7(2), 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Alain Lecomte, Samuel Tronçon (eds.) |
Ludics, Dialogue and Interaction - PRELUDE Project - 2006-2009. Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
DBLP DOI BibTeX RDF |
|
28 | Marie-Renée Fleury, Myriam Quatrini, Samuel Tronçon |
Dialogues in Ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic and Grammar ![In: Logic and Grammar - Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday, pp. 138-157, 2011, Springer, 978-3-642-21489-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Tero Tulenheimo |
On Some Logic Games in Their Philosophical Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRELUDE Project ![In: Ludics, Dialogue and Interaction - PRELUDE Project - 2006-2009. Revised Selected Papers, pp. 88-113, 2011, Springer, 978-3-642-19210-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Michele Basaldella, Alexis Saurin, Kazushige Terui |
On the Meaning of Focalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRELUDE Project ![In: Ludics, Dialogue and Interaction - PRELUDE Project - 2006-2009. Revised Selected Papers, pp. 78-87, 2011, Springer, 978-3-642-19210-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Ruth Kempson, Eleni Gregoromichelaki, Wilfried Meyer-Viol, Matthew Purver, Graham White 0001, Ronnie Cann |
Natural-Language Syntax as Procedures for Interpretation: The Dynamics of Ellipsis Construal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRELUDE Project ![In: Ludics, Dialogue and Interaction - PRELUDE Project - 2006-2009. Revised Selected Papers, pp. 114-133, 2011, Springer, 978-3-642-19210-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Jeroen Groenendijk, Floris Roelofsen |
Compliance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRELUDE Project ![In: Ludics, Dialogue and Interaction - PRELUDE Project - 2006-2009. Revised Selected Papers, pp. 161-173, 2011, Springer, 978-3-642-19210-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | V. Michele Abrusci, Marco Romano, Christophe Fouqueré |
Ontologies and Coherence Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRELUDE Project ![In: Ludics, Dialogue and Interaction - PRELUDE Project - 2006-2009. Revised Selected Papers, pp. 205-219, 2011, Springer, 978-3-642-19210-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Grégoire Winterstein, Gerhard Schaden |
Relevance and Utility in an Argumentative Framework: An Application to the Accommodation of Discourse Topics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRELUDE Project ![In: Ludics, Dialogue and Interaction - PRELUDE Project - 2006-2009. Revised Selected Papers, pp. 134-146, 2011, Springer, 978-3-642-19210-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Alain Lecomte, Myriam Quatrini |
Ludics and its Applications to natural Language Semantics ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0910.1484, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
28 | Claudia Faggian |
Interactive observability in Ludics: The geometry of tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 350(2-3), pp. 213-233, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Pierre-Louis Curien |
Introduction to linear logic and ludics, part I ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0501035, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Pierre-Louis Curien |
Introduction to linear logic and ludics, part II ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0501039, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Marie-Renée Fleury, Myriam Quatrini |
First order in Ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 14(2), pp. 189-213, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | François Maurel |
Un cadre quantitatif pour la Ludique. (A quantitative Ludics framework). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
28 | Jean-Yves Girard 0001 |
From foundations to ludics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 9(2), pp. 131-168, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Claudia Faggian, Mauro Piccolo |
Partial Orders, Event Structures and Linear Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 95-111, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Dale Miller 0001, Alexis Saurin |
From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 405-419, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Pierre-Louis Curien, Claudia Faggian |
L-Nets, Strategies and Proof-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 167-183, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Claudia Faggian |
Travelling on Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 427-441, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Claudia Faggian, Martin Hyland |
Designs, Disputes and Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 442-457, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|