Data types as algorithms M. A. Nait Abdallah RAIRO. Inform. théor., 18 1 (1984) 3-22 Published online: 01 February 2017 DOI: 10.1051/ita/1984180100031