[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.
[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.
[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.
[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.
[1] Sur l'interprétation de ZFC dans Map Theory (stage de DEA), Prépublications de l'Equipe de Logique, CNRS-Paris7, n.62, Juin 97.
[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.
[4] "Map Theory" et Antifondation, Thèse, Université de Paris 7, Déc. 2001, publiée comme volume 79 de ENTCS (Electronic Notes in Computer Science), 2003 http://www.sciencedirect.com/science/journal/15710661
[5] Map Theory: From Well-Foundation to Anti-foundation, 26 p., In Proceedings of the 6th Workshop on Domains (WD6, Birmingham, 19-22 Sept 02), ENTCS, vol. 73, p.217-245, 2004.
Voir sa page:
http://www.dsi.unive.it/~gmanzone/