A Simplified Semantics for a Fragment of Intuitionistic Linear Logic

Bulletin of the Section of Logic, Tom 32, Numer 3 (2003) s. 123-129
Norihiro Kamide

 

do góry