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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Bibliography
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.
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 consult
Linear logic & lazy evaluation, to appear in the Proceedings of TAPSOFT'87, Pisa.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Girard, JY. (1987). Linear logic and parallelism. In: Zilli, M.V. (eds) Mathematical Models for the Semantics of Parallelism. Lecture Notes in Computer Science, vol 280. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18419-8_14
Download citation
DOI: https://doi.org/10.1007/3-540-18419-8_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18419-5
Online ISBN: 978-3-540-47960-4
eBook Packages: Springer Book Archive