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

Peter Selinger, Benot Valiron

Browse the full FOSSACS paper archive.