Data types as algorithms
M. A. Nait Abdallah · RAIRO Informatique théorique · 1984
L'accès aux archives de la revue « RAIRO -Informatique théorique » implique l'accord avec les conditions générales d'utilisation (http://www.numdam. org/legal.php).Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale.Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.