Login / Signup
A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract).
Peter Selinger
Benoît Valiron
Published in:
FoSSaCS (2008)
Keyphrases
</>
extended abstract
formal model
databases
high level
pairwise
data model
higher order
conceptual model
object model
lambda calculus