The Calculi of Lambda-Conversion, Annals of Mathematical Studies, vol.6, 1941. ,
Links: Web Programming Without Tiers, FMCO, pp.266-296, 2006. ,
DOI : 10.1007/978-3-540-74792-5_12
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
A colored version of the lambda-calculus, Proceedings of the 14th International Conference on Automated Deduction, pp.291-305, 1997. ,
Lambda Calculus Models of Programming Languages, 1968. ,
Colored local type inference, Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '01, pp.41-53, 2001. ,
Types abstraits dans les systèmes répartis, 2008. ,
A multi-tier semantics for hop. Higher-Order and Symbolic Computation, pp.1-23 ,
Static typing for a faulty lambda calculus, Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, ICFP '06, pp.38-49, 2006. ,
Lambda calculus and music calculi, Proceedings of the International Computer Music Conference ICMA, pp.243-250, 1994. ,