Login / Signup
An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus
Patrick Baillot
Marco Pedicini
Published in:
CoRR (2006)
Keyphrases
</>
high level
relational databases
software engineering