MQ
Myriam Quatrini
1
Documents
Identifiants chercheurs
- myriam-quatrini
- IdRef : 086039261
Présentation
Enseignant chercheur à l'Université Aix Marseille & l'Institut de Mathématiques de Marseille
Enseignant chercheur à l'Université Aix Marseille & l'Institut de Mathématiques de Marseille
Publications
- 1
- 1
Polarized and focalized linear and classical proofsAnnals of Pure and Applied Logic, 2005, 134, pp.217-264. ⟨10.1016/j.apal.2004.11.002⟩
Article dans une revue
hal-00009133v1
|