| Original language | English |
|---|---|
| Publication status | Published - 1 Jan 2003 |
Technical Report CSR-03-15: A Parigot-style Linear λ-calculus for Full Instutionistic Linear Logic
Valeria De Paiva, Eike Ritter
Research output: Working paper/Preprint › Working paper