Selinger, Valiron, n.d.. A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract), in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-540-78499-9_7