Détail de l'auteur
Auteur J. Stoy |
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
ouvrage
First book length exposition of the denotational approach to the formal semantics of programming languages (in contrast to operational and axiomatic approaches). Treats various kinds of language, beginning with the pure lambda-calculus and progr[...]