A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract).

Peter Selinger Benoît Valiron A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). 81-96 2008 FoSSaCS http://dx.doi.org/10.1007/978-3-540-78499-9_7 conf/fossacs/2008 db/conf/fossacs/fossacs2008.html#SelingerV08