Une approche de la théorie de D. Scott et application à la sémantique des types abstraits génériques

La théorie des domaines de D. Scott est le fondement mathématique de la sémantique dénotationnelle des langages de programmation. On présente les éléments de cette théorie, Ainsi que la flacon de réaliser un calcul des retracts (i.e. des fonctions qui caractérisent les domaines)
...
TEL :: [tel-00305348, version 1]
http://tel.archives-ouvertes.fr/tel-00305348/en/
 ---