A. Church, The Calculi of Lambda-Conversion, Annals of Mathematical Studies, vol.6, 1941.

E. Cooper, S. Lindley, P. Wadler, and J. Yallop, Links: Web Programming Without Tiers, FMCO, pp.266-296, 2006.
DOI : 10.1007/978-3-540-74792-5_12

E. Cooper and P. Wadler, The RPC calculus, Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, PPDP '09, 2009.
DOI : 10.1145/1599410.1599439

D. Hutter and M. Kohlhase, A colored version of the lambda-calculus, Proceedings of the 14th International Conference on Automated Deduction, pp.291-305, 1997.

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

M. Odersky, C. Zenger, and M. Zenger, Colored local type inference, Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '01, pp.41-53, 2001.

G. Peskine, Types abstraits dans les systèmes répartis, 2008.

M. Serrano and C. Queinnec, A multi-tier semantics for hop. Higher-Order and Symbolic Computation, pp.1-23

D. Walker, L. Mackey, J. Ligatti, G. A. Reis, and D. I. August, Static typing for a faulty lambda calculus, Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, ICFP '06, pp.38-49, 2006.

D. Fober, Y. Orlarey, and D. Letz, Lambda calculus and music calculi, Proceedings of the International Computer Music Conference ICMA, pp.243-250, 1994.