TY  - RPRT
TI  - Proceedings 7th International Workshop on Developments of Computational Methods
AU  - Elham Kashefi
AU  - Jean Krivine
AU  - Femke van Raamsdonk
PY  - 2012
DO  - 10.4204/eptcs.88
UR  - https://arxiv.org/abs/1207.6821
ID  - 1207.6821
ER  -