Marco Gaboardi: Linearity : an analytic tool in the study of complexity and semantics of programming languages. (Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation). National Polytechnic Institute of Lorraine, Nancy, France 2007