Linear logic and parallelism
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.
- (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
- (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
- (Girard & Lafont 1986).Linear logic & lazy evaluation, to appear in the Proceedings of TAPSOFT'87, Pisa.Google Scholar