TY  - RPRT
TI  - A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)
AU  - Peter Selinger
AU  - Benoît Valiron
PY  - 2008
UR  - https://arxiv.org/abs/0801.0813
ID  - 0801.0813
ER  -