Linear Logic and Applications (Dagstuhl Seminar 99341)

Authors Valeria de Paiva, Josef von Genabith, Eike Ritter, Richard Crouch



PDF
Thumbnail PDF

File

DagSemRep.248.pdf
  • Filesize: 209 kB
  • 21 pages

Document Identifiers

Author Details

Valeria de Paiva
Josef von Genabith
Eike Ritter
Richard Crouch

Cite AsGet BibTex

Valeria de Paiva, Josef von Genabith, Eike Ritter, and Richard Crouch. Linear Logic and Applications (Dagstuhl Seminar 99341). Dagstuhl Seminar Report 248, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1999)
https://doi.org/10.4230/DagSemRep.248

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail