Algebraic definition of a functional programming language and its semantic models
Manfred Broy, Martin Wirsing · RAIRO Informatique théorique · 1983
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.Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques