. Vers-le-contrôle, Une autre ligne de travail à venir consiste à considérer l

. Dans-des-travaux-précédents, La méthodologie était différente même si, là encore, la méthode reposait sur la théorie de la preuve. Il s'agissait de partir de calculs construits sur le calcul des séquents pour les adapter à l'appel par nécessité. Dans cette conception, l'intégration du contrôle est transparente mais c'est la spécification de ce qu'est la paresse qui est loin d'être évidente et pas forcément canonique, En particulier on observait dans ces travaux que différentes manières d'intégrer l'appel par nécessité et le contrôle résultaient en des calculs différents.) Ici, on est dans une configuration différente : la spécification de l'appel par nécessité est maintenant solidement justifié et il va falloir intégrer le contrôle

Z. M. Ariola, P. Downen, H. Herbelin, K. Nakata, and A. Saurin, Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts, Functional and Logic Programming Symposium, FLOPS 2012, pp.32-46, 2012.
DOI : 10.1007/978-3-642-29822-6_6
URL : https://hal.archives-ouvertes.fr/hal-00697241

Z. M. Ariola and M. Felleisen, The call-by-need lambda calculus, Journal of Functional Programming, vol.7, issue.3, pp.265-301, 1997.
DOI : 10.1017/S0956796897002724

Z. M. Ariola, M. Felleisen, J. Maraist, M. Odersky, and P. Wadler, The call-by-need lambda calculus, Symposium on Principles of Programming Languages, POPL, pp.233-246, 1995.

Z. M. Ariola, H. Herbelin, and A. Saurin, Classical Call-by-Need and Duality, Typed Lambda Calculi and Applications, 2011.
DOI : 10.1017/S096012950000311X
URL : https://hal.archives-ouvertes.fr/inria-00630156

S. Chang and M. Felleisen, The Call-by-Need Lambda Calculus, Revisited, European Symposium on Programming, ESOP, abs, 1201.
DOI : 10.1007/978-3-642-28869-2_7

P. Curien and H. Herbelin, The duality of computation, International Conference on Functional Programming, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00156377

V. Danos, H. Herbelin, and L. Regnier, Game semantics and abstract machines, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.394-405, 1996.
DOI : 10.1109/LICS.1996.561456

V. Danos and L. Regnier, Head linear reduction, 2004.

O. Danvy, K. Millikin, J. Munk, and I. Zerny, Defunctionalized Interpreters for Call-by-Need Evaluation, Functional and Logic Programming Symposium, 2010.
DOI : 10.1007/978-3-642-12251-4_18

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

M. Hyland and L. Ong, On full abstraction for PCF. Information and Computation, pp.285-408, 2000.

J. Krivine, A call-by-name lambda-calculus machine. Higher-Order and Symbolic Computation, pp.199-207, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00154508

J. Maraist, M. Odersky, D. N. Turner, and P. Wadler, Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus, Electronic Notes in Theoretical Computer Science, vol.1, pp.370-392, 1995.
DOI : 10.1016/S1571-0661(04)00022-2

J. Maraist, M. Odersky, and P. Wadler, The call-by-need lambda calculus, Journal of Functional Programming, vol.8, issue.3, pp.275-317, 1998.
DOI : 10.1017/S0956796898003037

L. Regnier, Lambda-calcul et réseaux, 1992.

L. Regnier, Une ??quivalence sur les lambda- termes, Theoretical Computer Science, vol.126, issue.2, pp.281-292, 1994.
DOI : 10.1016/0304-3975(94)90012-4
URL : http://doi.org/10.1016/0304-3975(94)90012-4

C. P. Wadsworth, Semantics and pragmatics of the lambda-calculus, 1971.