Myriam Quatrini

According to our database, Myriam Quatrini authored at least 13 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Gödel's Absolute Proofs and Girard's Ludics: Mutual Insights.

Gabriella Crocco, Myriam Quatrini

Proceedings of the Perspectives on Deduction: Contemporary Studies in the Philosophy, 2024

2018

Study of Behaviours via Visitable Paths.

Christophe Fouqueré, Myriam Quatrini

Log. Methods Comput. Sci., 2018

2014

Ludics Characterization of Multiplicative-Additive Linear Behaviours.

Christophe Fouqueré, Myriam Quatrini

CoRR, 2014

2013

Incarnation in Ludics and maximal cliques of paths.

Christophe Fouqueré, Myriam Quatrini

Log. Methods Comput. Sci., 2013

2012

Ludics and Natural Language: First Approaches.

Christophe Fouqueré, Myriam Quatrini

Proceedings of the Logical Aspects of Computational Linguistics, 2012

2011

Ludics and Rhetorics.

Alain Lecomte, Myriam Quatrini

Proceedings of the Ludics, Dialogue and Interaction - PRELUDE Project, 2011

Figures of dialogue: a view from Ludics.

Alain Lecomte, Myriam Quatrini

Synth., 2011

Dialogues in Ludics.

Marie-Renée Fleury, Myriam Quatrini, Samuel Tronçon

Proceedings of the Logic and Grammar, 2011

2009

Ludics and Its Applications to Natural Language Semantics.

Alain Lecomte, Myriam Quatrini

Proceedings of the Logic, 2009

2007

A Mixed lambda-calculus.

Marie-Renée Fleury, Myriam Quatrini

Stud Logica, 2007

2005

Polarized and focalized linear and classical proofs.

Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco

Ann. Pure Appl. Log., 2005

2004

First order in Ludics.

Marie-Renée Fleury, Myriam Quatrini

Math. Struct. Comput. Sci., 2004

1996

A denotational semantics of<i>LC</i>2.

Myriam Quatrini

Arch. Math. Log., 1996