A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)