Advertisement

Linear logic and parallelism

  • Jean-Yves Girard
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 280)

Abstract

the paper discusses the relevance of a new logic called linear logic (Girard 1986) to computer science, and in particular to parallel computations. These general remarks will be detailed in a paper in preparation with Gianfranco Mascari.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. (Girard 1970).
    Une extension de l'interprétation de Gödel à l'analyse et à la théorie des types etc., Proc. 2nd Scand. Log. Symp., ed Fenstad, North Holland Pub. Co, Amsterdam 1971.Google Scholar
  2. (Girard 1986).
    Linear Logic, to appear in T.C.S. For a discussion of the sequential case, in relation to memory allocation and laziness, by means of intuitionistic linear logic, one can consultGoogle Scholar
  3. (Girard & Lafont 1986).
    Linear logic & lazy evaluation, to appear in the Proceedings of TAPSOFT'87, Pisa.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Jean-Yves Girard
    • 1
  1. 1.Equipe de logique (UA 753 CNRS) Département de mathématiques T 45–55, 5° étageUniversité PARIS VIIParis Cedex 05

Personalised recommendations