Current software and hardware systems, being parallel and reconfigurable, raise new safety and reliability problems, and the resolution of these problems requires new methods. Numerous proposals aimâ€¦ (More)

We introduce a new unification procedure for the type inference problem in the intersection type discipline. We show that unification exactly corresponds to reduction in an extended Î»-calculus, whereâ€¦ (More)

In order to answer the challenge of pervasive computing, we propose a new process calculus, whose aim is to describe dynamic systems composed of agents able to move and react differently depending onâ€¦ (More)

In the first part, we define a new programming language with a functional core and generalised recursion, by using Boudolâ€™s type system with degrees to rule out unsafe recursions. The language isâ€¦ (More)

We consider the Pure Ambient Calculus, which is Cardelli and Gordon's Ambient Calculus (or more precisely its safe version by Levi and Sangiorgi) restricted to its mobility primitives, and we focusâ€¦ (More)

Current software and hardware systems, being parallel and reconfigurable, raise new safety and reliability problems, and the resolution of these problems requires new methods. Numerous proposalsâ€¦ (More)