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

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2008★ 2 cited

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…