1. “Domains and Lambda-Calculi,”;Amadio,1998
2. Sequential algorithms on concrete data structure;Berry;Theoretical Computer Science,1982
3. About primitive recursive algorithms;Colson;Theoretical Computer Science,1991
4. “Représentation intensionnelle d'algorithmes dans les systèmes fonctionnels,”;Colson;Thèse de doctorat, Université de Paris,1991
5. A unary representation result for system t;Colson;Annals of Mathematics and Artificial Intelligence,1996