. Remerciements, Les auteurs remercient Christine Huet et Jérémie Salvucci pour leur relecture attentive ainsi que les rapporteurs de l'article pour leurs remarques constructives

V. Balat, J. Vouillon, and B. Yakobowski, Experience Report: Ocsigen, a Web Programming Framework, Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (ICFP), pp.311-316, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00495903

G. Boudol, Z. Luo, T. Rezk, and M. Serrano, Towards reasoning for web applications, Proceedings of the 2010 Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications, APLWACA '10, pp.3-14, 2010.
DOI : 10.1145/1810139.1810141

E. Chailloux and B. Serpette, Séparation des couleurs dans un lambda-calcul bichrome, Journées Francophones des Langages Applicatifs, 2012.

J. Cheney, S. Lindley, and P. Wadler, A practical theory of language-integrated query, Greg Morrisett et Tarmo Uustalu, pp.403-416, 2013.

J. H. Morris, Lambda Calculus Models of Programming Languages, 1968.

M. Serrano and C. Queinnec, A Multi-tier Semantics for Hop. Higher-Order and Symbolic Computation, pp.1-23, 2010.

K. Slonneger, L. Barry, and . Kurtz, Formal syntax and semantics of programming languages a laboratory based approach, 1995.

C. Urban, S. Berghofer, and M. Norrish, Barendregt???s Variable Convention in Rule Inductions, Proceedings of the 21st International Conference on Automated Deduction: Automated Deduction, CADE-21, pp.35-50, 2007.
DOI : 10.1007/978-3-540-73595-3_4