1. Domains and Lambda Calculi;Amadio,1998
2. Sequential algorithms on concrete data structures;Berry;Theoret. Comput. Sci.,1982
3. About primitive recursive algorithms;Colson;Theoret. Comput. Sci.,1991
4. L. Colson, Représentation intentionnelle d'algorithmes dans les systèmes fonctionnels: Une étude de cas, Thèse de Doctorat, Université Paris, 7, 1991.
5. A unary representation result for system T;Colson;Ann. Math. Artificial Intelligence,1996