BibTeX
CSL-JSON
MLA
Harvard
A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)
release_sc5e6vnzhrbzbkyjuuxa4lespa
by
Peter Selinger, Benoît Valiron
Published
in Foundations of Software Science and Computation Structure by Springer Berlin Heidelberg.
p81-96
Archived Files and Locations
application/pdf 225.8 kB
file_krpge2j5xrce5a3blqa7zc2ava
|
www.monoidal.net (web) web.archive.org (webarchive) |
application/pdf 202.8 kB
file_ic5ct26ukzghfdl6l4wt66syo4
|
web.archive.org (webarchive) www.mathstat.dal.ca (web) web.archive.org (webarchive) web.archive.org (webarchive) web.archive.org (webarchive) + 9 more URLs |
application/pdf 203.2 kB
file_manlekikzna5tmnex63cyyerkm
|
www.mscs.dal.ca (web) web.archive.org (webarchive) |
application/pdf 554.1 kB
file_cech25sxizchdd2yhpevbdxwbm
|
web.archive.org (webarchive) link.springer.com (publisher) |
Read Archived PDF
Preserved and Accessible
Type
Stage
chapter
Stage
published
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
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar