Références
[DaRe.89] Danos, V., Regnier, L.: Λ et Λ*: une alternative à la réduction des λ-termes. Preprint, Université Paris 7, 1989
[Dan.90] Danos, V.: La logique linéaire appliquée à l'étude de divers processus de normalisation (principalement du λ-calcul). Thèse de doctorat, Université Paris 7, 1990
[Duq.92] Duquesne, E.: Réseaux de preuve, types principaux et lambda-termes. Thèse de doctorat, Université Paris 7, 1992
[Duq.93] Duquesne, E.: Proof nets ofPN as graphs. Soumis à publication (1993)
[Gir.86] Girard, J.Y.: The systemF of variable types, fifteen years later Theor. Comput. Sci.45, 159–192 (1986)
[Gir.87] Girard, J.Y.: Linear logic. Theor. Comput. Sci.50(1), 1–102 (1987)
[GoAbLe.92] Gonthier, G., Abadi, M., Lévy, J.-J.: The geometry of optimal lambda reduction. Proceeding 19th ACM Symposium on Principles of Programming Languages, p. 15–26, 1992
[HoRo.89] Honsel, F., Ronchi, S.: Qualitative λ-models as Type Assignment Systems. Dedicated to J.W. De Bakker in honour of his 25 years of working in Semantics. CWI, Amsterdam, 1989
[Ret.87] Retoré, C.: Rapport de DEA de Mathématiques, Université Paris 7, 1987
Author information
Authors and Affiliations
Additional information
Département d'Informatique, Université de Bretagne Occidentale
Mathematics subject classification (1991): 03F07, 03F99
Rights and permissions
About this article
Cite this article
Duquesne, E., Van de Wiele, J. Modèle cohérent des réseaux de preuve. Arch Math Logic 33, 131–158 (1994). https://doi.org/10.1007/BF01352934
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01352934