Myriam Quatrini

15 papers C 1Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2024 — ch.
Gödel's Absolute Proofs and Girard's Ludics: Mutual Insights.
Perspectives on Deduction
Gabriella Crocco, Myriam Quatrini
2018 J jnl
Study of Behaviours via Visitable Paths.
Log. Methods Comput. Sci.
Christophe Fouqueré, Myriam Quatrini
2014 J jnl
Ludics Characterization of Multiplicative-Additive Linear Behaviours.
CoRR
Christophe Fouqueré, Myriam Quatrini
2013 J jnl
Incarnation in Ludics and maximal cliques of paths.
Log. Methods Comput. Sci.
Christophe Fouqueré, Myriam Quatrini
2012 — conf
Ludics and Natural Language: First Approaches.
LACL
Christophe Fouqueré, Myriam Quatrini
2011 — conf
Dialogues in Ludics.
Logic and Grammar
Marie-Renée Fleury, Myriam Quatrini, Samuel Tronçon
2011 J jnl
Figures of dialogue: a view from Ludics.
Synth.
Alain Lecomte, Myriam Quatrini
2011 — ed.
Logic and Grammar - Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
Logic and Grammar
Sylvain Pogodalla, Myriam Quatrini, Christian Retoré
2011 — ch.
Ludics and Rhetorics.
PRELUDE Project
Alain Lecomte, Myriam Quatrini
2009 C conf
Ludics and Its Applications to Natural Language Semantics.
WoLLIC
Alain Lecomte, Myriam Quatrini
2009 J jnl
Ludics and its Applications to natural Language Semantics
CoRR
Alain Lecomte, Myriam Quatrini
2007 J jnl
A Mixed lambda-calculus.
Stud Logica
Marie-Renée Fleury, Myriam Quatrini
2005 J jnl
Polarized and focalized linear and classical proofs.
Ann. Pure Appl. Log.
Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco
2004 J jnl
First order in Ludics.
Math. Struct. Comput. Sci.
Marie-Renée Fleury, Myriam Quatrini
1996 J jnl
A denotational semantics of
Arch. Math. Log.
Myriam Quatrini