We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
Linear logic in computer science, edited by T. Ehrhard, J.-Y. Girard, P. Ruet, and P. Scott, London Mathematical Society Lecture Note Series, 316. Cambridge University Press, 2004, 392 pp.