Normal deduction in the intuitionistic linear logic.

Saved in:

Bibliographic Details
Title:	Normal deduction in the intuitionistic linear logic.
Authors:	Mints, G.
Source:	Archive for Mathematical Logic; 1998, Vol. 37 Issue 5/6, p415, 11p
Database:	Applied Science & Technology Source

Description
ISSN:	09335846
DOI:	10.1007/s001530050106