Tutorial on linear logic

Authors
Publication date 1994
Host editors
  • P. Schroeder-Heister
  • K. Dusen
Book title Substructural logics
Pages (from-to) 327-355
Publisher Berlin: Springer Verlag
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back