Jean-Yves Girard 0001, Mitsuhiro Okada, Andre Scedrov, editors, Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29 - April 2, 1996. Volume 3 of Electronic Notes in Theoretical Computer Science, Elsevier, 1996. [doi]
Conference: lltm1996
Abstract is missing.