TY  - RPRT
TI  - An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus
AU  - Patrick Baillot
AU  - Marco Pedicini
PY  - 2006
UR  - https://arxiv.org/abs/cs/0608040
ID  - cs/0608040
ER  -