Dana S. Scott

mathématicien et informaticien américain

Domaines d'étude

langage de programmation logique mathématique programmation sémantique théorie des automates théorie des modèles topologie treillis

Pays

États-Unis