Preprinti IMFM

Avtor: Andreja Prijatelj

714: Andreja Prijatelj: From bounded structural rules to linear logic modalities, 38 (2000) e-sigma PDF PDF