Linear logic and parallelism

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


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  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