TY  - RPRT
TI  - ASMs and Operational Algorithmic Completeness of Lambda Calculus
AU  - Marie Ferbus-Zanda
AU  - Serge Grigorieff
PY  - 2010
UR  - https://arxiv.org/abs/1010.2597
ID  - 1010.2597
ER  -