lltm 1996: Linear Logic Tokyo Meeting - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

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.

runs on WebDSL