Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Marie-Renée FLEURY

Année
Publications
Files Type
2011 Fleury Marie-Renée, Quatrini Myriam, Tronçon Samuel.
Dialogues in ludics.
Actes du Colloque en l'honneur de A. Lecomte, Pauillac 2007, à paraître.
  ACTI
  Lecomte Alain, Quatrini Myriam, Fleury Marie-Renée.
Ludics and anti-realism.
Logic and Anti-Realism, édité par S. Rahman et J. Symons, Springer, série Logic, Epistemology, and the Unity of Science, à paraître.
PDF ACL
  Fleury-Donnadieu Marie-Renée, Tronçon Samuel.
Ludics as a frame for the formalisation of speech acts.
Ludics, Dialogue and Interaction, Springer, LNAI 6505, Folli, edited by A. Lecomte and S. Tronçon, à paraître.
  ACTI
2007 Fleury Marie-Renée, Quatrini Myriam.
A mixed lambda-calculus.
Studia Logica 87, no. 2-3, 269--294, 2007.
   
2004 Faggian Claudia, Fleury Marie-Renée, Quatrini Myriam.
An introduction to uniformity in Ludics.
Linear logic in computer science, 236--246, London Math. Soc. Lecture Note Ser., 316, Cambridge Univ. Press, Cambridge, 2004
   
  Fleury Marie-Renée, Quatrini Myriam.
First order in Ludics.
Math. Structures Comput. Sci. 14, no. 2, 189--213, 2004.
   
1989 Fleury-Donnadieu Marie-Renée and Ciampioni Christine.
Typified programs and categories.
Actes of ASL, Logic Colloquium, Berlin, 1989
   
1986 Fleury-Donnadieu Marie-Renée and Rambaud Christiane.
Conditional theories.
Studia Logica 45, no. 3, 237--250, 1986
   
1985 Fleury-Donnadieu Marie-Renée.
Logiques conditionnelles et sémantique des programmes.
Actes du colloque "Logique et informatique théorique", CIRM, Marseille, 1985
   
1981

Fleury-Donnadieu Marie-Renée.
Syntax of conditional theories.
Actes of ASL Summer Meeting, colloque Herbrand, Marseille, 1981

   
1979 Fleury-Donnadieu Marie-Renée.
Theories on categories and applications.
J. Symbolic Logic, vol.44, n°3, 1979
   
1978 Fleury-Donnadieu Marie-Renée and Rambaud Christiane.
Théories conditionnelles.
C. R. Acad. Sci. Paris SÚr. A-B 286, no. 20, A849--A852, 1978
   
1977 Fleury-Donnadieu Marie-Renée and Rambaud Christiane.
Théorème de complétude dans les théories sur graphes orientés.
C. R. Acad. Sci. Paris Sér. A-B 284, no. 6, A355--A358, février 1977
   
1976 Blanc Georges and Fleury-Donnadieu Marie-Renée.
Axiomatisation de la catégorie des catégories.
Cahiers Topologie Géom. Différentielle 17, no. 2, 135--170, 1976
   
1975 Fleury-Donnadieu Marie-Renée.
Théorème de construction de catégories d'après description de Lawvere.
C.R.A.S., T.280, février 1975
   




Last update : november 17, 2011, EL.