G. Cousineau, P. Curien, and M. Mauny, The categorical abstract machine, Science of Computer Programming, vol.8, issue.2, pp.173-202, 1987.
DOI : 10.1016/0167-6423(87)90020-7

P. Curien, Abstract B??hm trees, Mathematical Structures in Computer Science, vol.8, issue.6, pp.559-591, 1998.
DOI : 10.1017/S0960129598002631

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

S. C. Kleene, Realizability: A retrospective survey, Proc. Cambridge Summer School in Mathematical Logic, pp.95-112, 1973.
DOI : 10.1002/malq.19580041703

J. Krivine, A call-by-name lambda-calculus machine, Higher-Order and Symbolic Computation 20, pp.199-207, 2007.
DOI : 10.1007/s10990-007-9018-9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.7478