Search results for "ludics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Alexis Saurin	Towards Ludics Programming: Interactive Proof Search.	ICLP	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.	ICALP (2)	2006	DBLP DOI BibTeX RDF	Ludics, linear logic, proof nets
91	Michele Basaldella, Claudia Faggian	Ludics with Repetitions (Exponentials, Interactive Types and Completeness).	LICS	2009	DBLP DOI BibTeX RDF
70	Alain Lecomte, Myriam Quatrini	Ludics and Its Applications to Natural Language Semantics.	WoLLIC	2009	DBLP DOI BibTeX RDF
59	Michele Basaldella, Kazushige Terui	Infinitary Completeness in Ludics.	LICS	2010	DBLP DOI BibTeX RDF	ludics, completeness, linear logic, recursive types, coinduction
56	Christophe Fouqueré	Ludics and Web: Another Reading of Standard Operations.	PRELUDE Project	2011	DBLP DOI BibTeX RDF
56	Alain Lecomte, Myriam Quatrini	Ludics and Rhetorics.	PRELUDE Project	2011	DBLP DOI BibTeX RDF
49	Claudia Faggian, Mauro Piccolo	Ludics is a Model for the Finitary Linear Pi-Calculus.	TLCA	2007	DBLP DOI BibTeX RDF
49	Claudia Faggian, François Maurel	Ludics Nets, a game Model of Concurrent Interaction.	LICS	2005	DBLP DOI BibTeX RDF
49	Claudia Faggian	Interactive Observability in Ludics.	ICALP	2004	DBLP DOI BibTeX RDF
42	Michele Basaldella, Kazushige Terui	On the Meaning of Logical Completeness.	TLCA	2009	DBLP DOI BibTeX RDF
42	Jean-Yves Girard 0001	Locus Solum: From the Rules of Logic to the Logic of Rules.	CSL	2001	DBLP DOI BibTeX RDF
28	Alberto Naibo, Yuta Takahashi	Harmony in the Light of Computational Ludics.	Linearity&TLLA@IJCAR-FSCD	2020	DBLP DOI BibTeX RDF
28	Skye Bougsty-Marshall	The Dynamics of Growing Symbols: A Ludics Approach to Language Design by Autonomous Agents.	AGI	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).		2018	RDF
28	Stefano Del Vecchio, Virgile Mogbil	An Interpretation of CCS into Ludics.	LSFA	2017	DBLP DOI BibTeX RDF
28	Alice Pavaux	Inductive and Functional Types in Ludics.	CoRR	2017	DBLP BibTeX RDF
28	Alice Pavaux	Inductive and Functional Types in Ludics.	CSL	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).		2017	RDF
28	David Baelde, Amina Doumane, Alexis Saurin	Least and Greatest Fixed Points in Ludics.	CSL	2015	DBLP DOI BibTeX RDF
28	Michele Basaldella	Ludics without Designs I: Triads.	LINEARITY	2014	DBLP DOI BibTeX RDF
28	Christophe Fouqueré, Myriam Quatrini	Ludics Characterization of Multiplicative-Additive Linear Behaviours.	CoRR	2014	DBLP BibTeX RDF
28	Eugenia Sironi	Type Theory in Ludics.	CoRR	2014	DBLP BibTeX RDF
28	Christophe Fouqueré, Myriam Quatrini	Incarnation in Ludics and maximal cliques of paths.	Log. Methods Comput. Sci.	2013	DBLP DOI BibTeX RDF
28	Christophe Fouqueré, Myriam Quatrini	Ludics and Natural Language: First Approaches.	LACL	2012	DBLP DOI BibTeX RDF
28	Alain Lecomte, Myriam Quatrini	Figures of dialogue: a view from Ludics.	Synth.	2011	DBLP DOI BibTeX RDF
28	Kazushige Terui	Computational ludics.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
28	Michele Basaldella, Claudia Faggian	Ludics with repetitions (Exponentials, Interactive types and Completeness)	Log. Methods Comput. Sci.	2011	DBLP DOI BibTeX RDF
28	Alain Lecomte, Samuel Tronçon (eds.)	Ludics, Dialogue and Interaction - PRELUDE Project - 2006-2009. Revised Selected Papers		2011	DBLP DOI BibTeX RDF
28	Marie-Renée Fleury, Myriam Quatrini, Samuel Tronçon	Dialogues in Ludics.	Logic and Grammar	2011	DBLP DOI BibTeX RDF
28	Tero Tulenheimo	On Some Logic Games in Their Philosophical Context.	PRELUDE Project	2011	DBLP DOI BibTeX RDF
28	Michele Basaldella, Alexis Saurin, Kazushige Terui	On the Meaning of Focalization.	PRELUDE Project	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.	PRELUDE Project	2011	DBLP DOI BibTeX RDF
28	Jeroen Groenendijk, Floris Roelofsen	Compliance.	PRELUDE Project	2011	DBLP DOI BibTeX RDF
28	V. Michele Abrusci, Marco Romano, Christophe Fouqueré	Ontologies and Coherence Spaces.	PRELUDE Project	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.	PRELUDE Project	2011	DBLP DOI BibTeX RDF
28	Alain Lecomte, Myriam Quatrini	Ludics and its Applications to natural Language Semantics	CoRR	2009	DBLP BibTeX RDF
28	Claudia Faggian	Interactive observability in Ludics: The geometry of tests.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
28	Pierre-Louis Curien	Introduction to linear logic and ludics, part I	CoRR	2005	DBLP BibTeX RDF
28	Pierre-Louis Curien	Introduction to linear logic and ludics, part II	CoRR	2005	DBLP BibTeX RDF
28	Marie-Renée Fleury, Myriam Quatrini	First order in Ludics.	Math. Struct. Comput. Sci.	2004	DBLP DOI BibTeX RDF
28	François Maurel	Un cadre quantitatif pour la Ludique. (A quantitative Ludics framework).		2004	RDF
28	Jean-Yves Girard 0001	From foundations to ludics.	Bull. Symb. Log.	2003	DBLP DOI BibTeX RDF
21	Claudia Faggian, Mauro Piccolo	Partial Orders, Event Structures and Linear Strategies.	TLCA	2009	DBLP DOI BibTeX RDF
21	Dale Miller 0001, Alexis Saurin	From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic.	CSL	2007	DBLP DOI BibTeX RDF
21	Pierre-Louis Curien, Claudia Faggian	L-Nets, Strategies and Proof-Nets.	CSL	2005	DBLP DOI BibTeX RDF
21	Claudia Faggian	Travelling on Designs.	CSL	2002	DBLP DOI BibTeX RDF
21	Claudia Faggian, Martin Hyland	Designs, Disputes and Strategies.	CSL	2002	DBLP DOI BibTeX RDF