Linear Logic and Applications (Dagstuhl Seminar 99341)

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

doi:10.4230/DagSemRep.248

Document

Linear Logic and Applications (Dagstuhl Seminar 99341)

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

Part of: Volume: Dagstuhl Seminar Reports (DagSemRep)
Part of: Series: Dagstuhl Seminar Reports (DagSemRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 1999-10-18

PDF

File

DagSemRep.248.pdf

Filesize: 209 kB
21 pages

Document Identifiers

DOI: 10.4230/DagSemRep.248
URN: urn:nbn:de:0030-drops-151349

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

0

Metadata Views