Normal deduction in the intuitionistic linear logic (1998)

by G E Mints
Venue:Archive for Mathematical Logic