1 results
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.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 297-299
- Print publication:
- June 2006
-
- Article
- Export citation