Jean-Yves Girard. Linear Logic and Parallelism. In Marisa Venturini Zilli, editor, Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings. Volume 280 of Lecture Notes in Computer Science, pages 166-182, Springer, 1986.
No references recorded for this publication.
No citations of this publication recorded.