Linear logic I. The Linear Logic 96 Tokyo Meeting, Mita Campus of Keio Univ., Tokyo, Japan, March 28 -- April 2, 1996

zbMATH Open0948.00046MaRDI QIDQ1586203FDOQ1586203

Authors:

Publication date: 9 November 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Recommendations

• Preface to the special issue on linearity
• scientific article
• The semantics and proof theory of linear logic
• scientific article; zbMATH DE number 5167089
• scientific article; zbMATH DE number 786485

zbMATH Keywords

Linear logicProceedingsSpecial issueTokyo (Japan)Meeting

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited In (1)

• Special issue: Linear logic, Part II. Selected papers from the linear logic Tokyo meeting, Tokyo, Japan, March 28--April 2, 1996.

This page was built for publication: Linear logic I. The Linear Logic 96 Tokyo Meeting, Mita Campus of Keio Univ., Tokyo, Japan, March 28 -- April 2, 1996

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1586203)