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.
Similar content being viewed by others
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