Original language | English |
---|---|
Publication status | Published - 1 Jan 2003 |
Technical Report CSR-03-14: Relating Categorical Semantics for Institutionistic Linear Logic
ME Maietti, P Maneggia, Valeria De Paiva, Eike Ritter
Research output: Working paper/Preprint › Working paper