BibTeX
CSL-JSON
MLA
Harvard
A Linear Logical Framework
release_iwwv3nwehnbv5ehjm4oeysrudi
by
Iliano Cervesato, Frank Pfenning
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
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar