Electronic Notes in Theoretical Computer Science, Volume 3

Volume 3, 1996

Linear Logic 96 Tokyo Meeting
Mita Campus, Keio University, Tokyo, Japan, March 28-April 2, 1996