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.