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

Peter Selinger, Benoît Valiron

We give a categorical semantics for a call-by-value linear lambda calculus. Such a lambda calculus was used by Selinger and Valiron as the backbone of a functional programming lang…