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

Published: 1996-01-10

Articles