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