Find the venue of the paper 'A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)' authored by Beno\u00EEt Valiron.
Valiron, Beno\u00EEt published the paper 'A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)' in which venue?
SELECT DISTINCT ?answer WHERE { <https://dblp.org/rec/journals/corr/abs-0801-0813> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/48/1480> . <https://dblp.org/rec/journals/corr/abs-0801-0813> <https://dblp.org/rdf/schema#publishedIn> ?answer }
<https://dblp.org/rec/journals/corr/abs-0801-0813> <https://dblp.org/pid/48/1480>