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  chapter
Stage   published
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 001c7167-82bd-4b69-8c3f-abff710cdca4
API URL: JSON