Quatrini, Myriam
Quatrini, Myriam, 19..-....
VIAF ID: 24822786 ( Personal )
Permalink: http://viaf.org/viaf/24822786
Preferred Forms
- 200 _ | ‡a Quatrini ‡b Myriam
-
- 100 1 _ ‡a Quatrini, Myriam
- 100 1 _ ‡a Quatrini, Myriam
-
- 100 1 _ ‡a Quatrini, Myriam
-
- 100 1 _ ‡a Quatrini, Myriam, ‡d 19..-....
Works
Title | Sources |
---|---|
COHERENCE SEMANTICS OF EXPONENTIALS: FROM LINEAR LOGIC TO CLASSICAL LOGIC. | |
Dag Prawitz's theory of grounds | |
Les effects et les handlers dans le langage naturel | |
Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday | |
Mathématique du dialogue : sens et interaction | |
Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques | |
Process Algebras inside Ludics : an interpretation of the Calculus of Communicating Systems. | |
Proofs as games and games as proofs : dialogical semantics of logical and natural languages. | |
Réécriture des diagrammes : applications à la théorie des catégories et à la théorie de la démonstration. | |
Sémantique cohérente des exponentielles : de la logique linéaire à la logique classique | |
Séminaire Mathématiques et sciences humaines 2000-2001, [IREM de Marseille] | |
String diagram rewriting : applications in category and proof theory |