A Linear Logical Framework release_iwwv3nwehnbv5ehjm4oeysrudi

by Iliano Cervesato, Frank Pfenning

Published in Information and Computation by Elsevier BV.

2002   Volume 179, p19-75

Archived Files and Locations

application/pdf  615.4 kB
file_vy3ch33yrvg7tduqlysemiy4vq
www-2.cs.cmu.edu:80 (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
+ 5 more URLs
application/pdf  279.4 kB
file_wzt4kx5v4raprkzj5alh7xdkhe
www-2.cs.cmu.edu (web)
web.archive.org (webarchive)
application/pdf  390.9 kB
file_5yuamj7ntfd7hirgcnymgn7ksu
core.ac.uk (aggregator)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2002
Language   en ?
Container Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  0890-5401
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 7c3ce46b-d92c-497c-b954-8814695c854a
API URL: JSON