Skip to main content
SpringerLink
Log in

Proof nets of PN as graphs

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • [AbCaCuLe90] Abadi, M., Cardelli, L., Curien, P.-L., Lévy, J.-J.: Explicit Substitutions. ACM Conference on Principle of Programming Languages, San-Francisco 1990

  • [BeVdeW94] Bellin, G., Van de Wiele, J.: Proof nets and typed lambda-calculus, Preprint 1994

  • [Dan90] Danos, V.: La logique linéaire appliquée à l'étude de divers processus de normalisation (principalement du λ-calcul). Thèse de doctorat, University Paris 7, June 1990

  • [DaRe89] Danos, V., Regnier, L.: Λ et Λ*: Une alternative à la réduction des λ-termes. Draft, University Paris 7, 1989.

  • [Duq92] Duquesne, E.: Réseaux de preuve, types principaux et lambda-termes. Thèse de doctorat, University Paris 7, 1992

  • [DuVdeW92] Duquesne, E., Van de Wiede, J.: Systèmes de Réseaux multiplicatifs signés. Draft, University Paris 7, 1992

  • [DuVdeW94] Duquesne, E., Van de Wiele, J.: Modèle cohérent des réseaux de preuve. Arch. Math. Log.33, 131–158 (1994)

    Google Scholar 

  • [Gir87] Girard, J.-Y.: Linear logic. Theor. Comput. Sci.50, 1 (1987)

    Google Scholar 

  • [GoAbLe92] 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

  • [Lam94] Lamarche, F.: On Multiplicative-Additive Linear Logic. Imperial College, 1994

  • [Pra71] Prawitz, D.: Ideas and results in proof-theory. In: Proceedings of the second Scandinavian logic symposium, Amsterdam, North-Holland, 1971

    Google Scholar 

  • [Reg91] Regnier, L.: λ-calcul et réseaux. Thèse de doctorat, University Paris 7, 1991

Download references

Author information

Authors and Affiliations

  1. Equipe de Logique, Université Paris 7, 2 Place Jussieu, F-75251, Paris Cedex 05, France

    Eric Duquesne

  2. Equipe PARA, INRIA-Rocquencourt, Domaine de Voluceau, Rocquencourt, B.P. 105, F-78153, Le Chesnay Cedex, France

    Eric Duquesne

  3. Equipe de Logique, Université Paris 7, 2 Place Jussieu, F-75251, Paris Cedex 05, France

    Jacques Van de Wiele

Authors
  1. Eric Duquesne
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jacques Van de Wiele
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Duquesne, E., Van de Wiele, J. Proof nets of PN as graphs. Arch Math Logic 34, 1–20 (1995). https://doi.org/10.1007/BF01269873

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01269873

Keywords

Search

Navigation