The following pages link to Myriam Quatrini (Q408340):
Displayed 17 items.
- Figures of dialogue: a view from ludics (Q408341) (← links)
- Light linear logics with controlled weakening: expressibility, confluent strong normalization (Q408540) (← links)
- Polarized and focalized linear and classical proofs (Q556824) (← links)
- Interaction graphs: multiplicatives (Q714715) (← links)
- A denotational semantics of \(LC2\) (Q1908817) (← links)
- A mixed \(\lambda\)-calculus (Q2467219) (← links)
- Incarnation in Ludics and maximal cliques of paths (Q2851674) (← links)
- Un cadre formel issu de la théorie de la démonstration pour la théorie de l’argumentation (Q2917731) (← links)
- Dialogues in Ludics (Q3013028) (← links)
- Pour une étude du langage via l’interaction : dialogues et sémantique en Ludique (Q3074401) (← links)
- Ludics and Rhetorics (Q3080085) (← links)
- Ludics and Its Applications to Natural Language Semantics (Q3638287) (← links)
- (Q4643962) (← links)
- (Q4650582) (← links)
- First order in Ludics (Q4819363) (← links)
- (Q4896474) (← links)
- Ludics and Natural Language: First Approaches (Q4981244) (← links)