CiteSeer.IST Home   Check: The following citations are predicted to all refer to the same paper.   Details

Jean-Yves Girard. Linear logic and parallelism.

Jean-Yves Girard. Linear logic and parallelism. In Mathematical Models for the Semantics of Parallelism, LNCS 280, Springer Verlag, 1987.

CiteSeer.IST - Copyright Penn State and NEC