Myriam Quatrini

Publication Activity (10 Years)

Years Active: 1996-2018
Publications (10 Years): 1

Top Topics

Comparative Study

Maximal Cliques

Linear Constraints

Top Venues

Log. Methods Comput. Sci.

Publications

Christophe Fouqueré, Myriam Quatrini
Study of Behaviours via Visitable Paths. Log. Methods Comput. Sci. 14 (2) (2018)
Christophe Fouqueré, Myriam Quatrini
Ludics Characterization of Multiplicative-Additive Linear Behaviours. CoRR (2014)
Christophe Fouqueré, Myriam Quatrini
Incarnation in Ludics and maximal cliques of paths. Log. Methods Comput. Sci. 9 (4) (2013)
Christophe Fouqueré, Myriam Quatrini
Ludics and Natural Language: First Approaches. LACL (2012)
Alain Lecomte, Myriam Quatrini
Figures of dialogue: a view from Ludics. Synth. 183 (Supplement-1) (2011)
Marie-Renée Fleury, Myriam Quatrini, Samuel Tronçon
Dialogues in Ludics. Logic and Grammar (2011)
Alain Lecomte, Myriam Quatrini
Ludics and Its Applications to Natural Language Semantics. WoLLIC (2009)
Alain Lecomte, Myriam Quatrini
Ludics and its Applications to natural Language Semantics CoRR (2009)
Marie-Renée Fleury, Myriam Quatrini
A Mixed lambda-calculus. Stud Logica 87 (2-3) (2007)
Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco
Polarized and focalized linear and classical proofs. Ann. Pure Appl. Log. 134 (2-3) (2005)
Marie-Renée Fleury, Myriam Quatrini
First order in Ludics. Math. Struct. Comput. Sci. 14 (2) (2004)
Myriam Quatrini
2. Arch. Math. Log. 35 (1) (1996)