Linear logic and parallelism (1987)

by Jean-Yves Girard
Venue:In Mathematical Models for the Semantics of Parallelism, LNCS 280