Login / Signup

Normal deduction in the intuitionistic linear logic.

Grigori Mints
Published in: Arch. Math. Log. (1998)
Keyphrases