Publications des membres du GT "Modèles du Lambda-calcul".

Bastonero, Berline, Gouy, Jiang, Kerth, Vallee

Période du 01/01/94 au 31/06/97

(ref. mises à jour Décembre 2001)

O. Bastonero.

Voir Olivier Bastonero pour les publications plus récentes, et pour les ".dvi" ou ".ps" de ses articles.

[1] Modèles fortement stables du lambda-calcul et résultats d'incomplétude, Thèse, Decembre 1996.
[2] (avec X. Gouy) Stabilité forte et incomplétude de la classe des modèles stables du lambda-calcul, CRAS, t.322, n 10, série I, p.905-908, 1996.
[3] (avec X. Gouy) Strong stability and the incompleteness of stable models of lambda-calculus, Annals of pure and Applied Logic, vol.100, n° 1-3, p.247-277, 1999.
[4] Equational incompleteness and incomparability results for lambda-calculus semantics, soumis au JSL.

C. Berline

Voir Chantal Berline pour la liste complète de mes publications.
Voir Berline pour les publications plus récentes et pour les ".dvi" ou ".ps" des articles.

[1] (avec K. Grue) A simple semantic consistency proof for Map Theory, based on xi-denotational semantics, Paris VII_CNRS Logique, prépublication n 50 (septembre 1994), 44 p.
[2] (avec K. Grue), A kappa-denotational semantics for Map Theory in ZFC+SI, Theoretical Computer Science 179, p.137-202, 1997.
[3] From Computation to Foundations via Functions and Application : the Lambda-calculus and its Webbed Models, Theor. Comput. Sci.
249, p.81-161, 2000..

X. Gouy.

[1] Etude des théories équationnelles et des propriétés algébriques des modèles stables du lambda-calcul, Thèse, Université Paris 7, Décembre 1995.
[2] Une extension du théorème de Hyland et Wadsworth à une classe de modèles du lambda-calcul pur, CRAS t.322, série I, p.419-422, 1996.
[3] (avec Y. Jiang) Universal retractions on DI-domains, Information and Computation, vol.119, n 2, p.252-257, 1995.
[4] (avec O. Bastonero) Stabilité forte et incomplétude de la classe des modèles stables du lambda-calcul, CRAS, t.322, n 10, série I, p.905-908, 1996.
[5] (avec 0. Bastonero) Strong stability and the incompleteness of stable models of lambda-calculus, Annals of Pure and Applied Logic, vol.100, n° 1-3, p.247-277, 1999.

Y. Jiang.

[1] La sémantique continue du lambda-calcul est incompatible avec l'existence d'une rétraction universelle, CRAS t.314, série I, p.779-782, 1992.
[2] Consistance et inconsistance de théories de lambda-calculs étendus, Thèse , Université Paris 7, Juin 1993.
[3] (avec X. Gouy) Universal retractions on DI-domains, Information and Computation Computation vol.119, n 2, p.252-257, 1995.
[4] Consistency of a lambda-theory with n-tuples and easy term, Archives of Math. Logic, vol. 34 n 2, p.79-96, 1995.
[5] Isomorphisms between the coherent models of lambda-calculus, Sciences in China, vol.39, n.8,1996.
[6] Consistency and axiomatisation of a natural ELC (=extension of lambda-calculus), Sciences in China, vol.39,n.9,1996.

R. Kerth.

[1] 2 puiss. aleph zero modèles de graphes non équationnellement équivalents, CRAS 318, série I, 1994, 587-590.
[2] Définissabilité dans les domaines réflexifs, CRAS, t.318, série I, 1994, pp.685-688.
[3] Isomorphisme et équivalence équationnelle entre modèles du lambda-calcul, Thèse, Université de Paris 7, Octobre 1995.
[4] Isomorphism and equational equivalence of continuous lambda-models, Studia Logica 61, p.403-415, 1998.
[5] The interpretation of unsolvable terms in models of pure lambda-calculus, J. of Symb. Logic. 63, p.1529-1548, 1998.
[6] Forcing in stable models of pure lambda-calculus, Indagationes Mathematicae 10 (1), p.59-71, 1999.
[7] On the construction of stable models of pure lambda-calculus, Theor. Comput. Sci. 269, 1-2, p.23-46, 2001.

T. Vallée.

Voir  Valléepour les publications plus récentes, et en particulier pour sa thèse.

[1] Sur l'interpretation de ZFC dans Map Theory, stage de DEA, Prépublication de l'Equipe de Logique Mathématique (CNRS-Paris 7), n.62, Juin 1997.(format postscript)
[2] Une introduction a « Map Theory », Actes du LLAIC1 (Laboratoire de Logique Algorithmique et Informatique de l'Université d'Auvergne-Clermont1), vol.VI (1995-1996), ed.F. Gaillard et D. Richard, p.214-227, 1997.
[3] Renforcement des liens entre modèles de Map Theory et de ZFC, Note.