Chantal Berline : Liste de publications

(Mise à jour : 15/01/2016)

I. Lambda-calcul et extensions (1988-2016)

A. Articles.

[1] Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle, Informatique Théorique et Applications 26 (1992), n°1, p.59-91.

[2] (avec K. Grue) A simple semantic consistency proof for Map Theory, based on xi-denotational semantics, Paris VII_CNRS Logique, prépublication n 50 (1994) ,44 p.

[3] (avec K. Grue), A kappa-denotational semantics for Map Theory in ZFC+SI, Theoretical Computer Science 179, (1997) p.137-202. .ps.gz or .dvi.gz

[4] From Computation to Foundations via Functions and Application : the Lambda-calculus and its Webbed Models, Theor. Comput. Sci. 249 (2000), p.81-161. .ps.gz

[5](avec S. Berardi) Beta-eta-complete models for System F, Math. Struct. for Comput. Sci (2002), vol.12, pp.823-874. .ps

[6](avec S. Berardi) Building Continuous Webbed Models for System F,   Theor. Comput. Sci. 315  (2004), p. 3-34 (+ prepub. in vol.35 of ENTCS   .ps or .dv

[7](avec S. Berardi) Easy models for F_omegaY, Calculus of Constructions, and Types:Types, en préparation.

[8] (avec A. Salibra)  Easiness in graph models, Theor. Comput. Science 354 (2006) 4-23..ps.

[9] Graph models of lambda-calculus at work, and variations, Math. Struct. for Comput. Sci. (2006), vol.16, pp. 185-221. Dedicated to Klaus Keimel on the occasion of his 65th birthday..ps.gz.

[10] (avec G. Manzonetto et Antonino Salibra) Lambda theories of effective lambda models, 16th EACL Annual Conference on Computer Science and Logic (CSL'07), vol. 4646 of LNCS (2007) 268-282. .pdf, .ps.gz

[11] (avec G. Manzonetto et Antonino Salibra) Effective lambda-models versus recursively enumerable theories, Math. Struct. in Comput. Sci.., vol.19 (5), pp. 897-942 (2009) . .pdf

[12] (avec K. Grue) A synthetic axiomatisation of Map Theory, Theor. Comput. Sci. 614 (2016) 1-62 (including a detailed TOC, appendices et index). .pdf

B. Cours de 3ème cycle.

[1] Cours de lambda-calcul (1990-1992?), polycopié, Prépublications de l'Equipe de Logique Mathématique n°38, CNRS-Université de Paris 7, 165 p., 1992. Ce cours portait sur la syntaxe et les sémantiques du lambda-calcul pur, ou typé par F, ou par PCF.

[2] Eléments de cours de lambda-calcul (1995-1997), polycopié, Ce cours est basé sur les modèles premiers algébriques et les systèmes stricts d'intersection de types.

[3] Cours de lambda-calcul (2001-2003), nouveau poly ; accessible depuis ma page web; inclue le système AF2. ; 155p,  10 chapitres avec exos

II. Théorie des modèles (1975-1987)

A. Articles de recherche.

[1] Catégoricité en Aleph-zéro du groupe linéaire d'un anneau de Boole, Note de Comptes Rendus de l'Académie des Sciences, série A, t.280 (24 Mars 1975), p.753-754.

[2] (avec C.L. Bernard) Groupes nilpotents plongeables dans le demi-groupe multiplicatif d'un anneau local, Note de Comptes Rendus de l'Académie des Sciences, série A, t.285 (21 Nov. 1977), p.883-885.

[3] Rings which admit elimination of quantifiers, J. of Symb. Logic, vol.46 (1981), n°1, p.56-58.

[4] Elimination of quantifiers for non semi-simple rings of characteristic p, Proceedings of Karpacz, Poland 1979, Lecture Notes in Math. 834 (1980), p.10-19.

[5] (avec G. Cherlin) QE nilrings of prime characteristic, Bull. Soc. Math. Belg. XXXIII (1981) fasc.1 série B, p.3-17.

[6] (avec G. Cherlin) Q.E. rings in char. p, Logic Year 1979-1980, The University of Connecticut, Lecture Notes in Math. 859 (1981), p.16-31.

[7] (avec G. Cherlin) Q.E. rings in char. p^n, n>=2, J. of Symb. Logic, vol.48 (1983), n°1, p.140-162.

[8] Thèse de Doctorat d'Etat, Titre : 1. Groupes superstables, 2. Anneaux avec élimination des quantificateurs, directeur : G. Sabbagh, Université de Paris 7, 1982.

[9] Superstable groups : a partial answer to conjectures of Cherlin and Zil'ber, Annals of Pure and Applied Logic 30 (1986), p.45-61.

[10] (avec D. Lascar) Superstable groups, Annals of Pure and Applied Logic 30 (1986), p.1-43.

[11] (avec D. Lascar) De gros sous-groupes abéliens pour les groupes stables et superstables, Note de Comptes Rendus de l'Académie des Sci. Paris, t.305 (1987), série I, p.639-641.

B. Articles d'exposition.

[12] Stabilité et algèbre : 1. Stabilité pratique, 2. Groupes abéliens et modules, 3. Anneaux, 4. Groupes, Groupe d'étude des théories stables 2ème année (1979-1980), ed. B. Poizat, Paris, Secrétariat Mathématique de l'IHP, 1981.

[13] Déviation des types dans les corps algébriquement clos, Groupe d' étude des théories stables 3 (1980-1982), ed. B. Poizat, Paris, Secrétariat Mathématique de l'IHP, 1983.

[14] Idéaux des anneaux de Peano, Model theory and Arithmetic (1979-1980), Lecture Notes in Math. 890, p.32-43 (1981).

[15] Les fondements logiques de l'Analyse Non Standard suivant Robinson et Nelson, Séminaire de Logique 1983-184, ed. Delon, Lascar, Parigot, Publications Mathématiques de l'Université Paris 7, n°27, 1988.

C. Edition.

[16] Co-edition ave K. Mc Aloon et J.P. Ressayre du volume des Comptes Rendus de l'ATP 1979-1980 du CNRS, sur la Théorie des Modèles et l'Arithmétique, vol.890 des Lecture Notes in Math., 1981.