Preprinti IMFM
Avtor: Andreja Prijatelj
714:
Andreja Prijatelj
:
From bounded structural rules to linear logic modalities
,
38
(2000)