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. Représentation intensionnelle d'algorithmes dans les systèmes fonctionnels;Colson;Thèse de doctorat, Université P,1991
5. A unary representation result for system T;Colson;Ann. Math. Artif. Intell.,1996