Nr. 10 (1996): RS-10 Cut-Elimination for Full Intuitionistic Linear Logic

Publiceret: 1996-01-10

Artikler