Semantics and logics of computation
Collection : Publications of the Newton Institute Publié par : Cambridge University Press. (Cambridge | New York ) Détails physiques : xii, 361 pages illustrations 23 cm. ISBN :9780521118460 (pbk.); 0521118468 (pbk.).
Sujet(s) :
Electronic data processing
--
Semantics.
--
Semantics.
|
Programming languages (Electronic computers)
|
Logic, Symbolic and mathematical
|
Formale Semantik
|
Programmiersprache
|
Programmierung
|
Electronic data processing
|
Logic, Symbolic and mathematical
|
Programming languages (Electronic computers)
Année : 1997
| Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres | Réservations |
|---|---|---|---|---|---|---|
| Livre | La bibliothèque des Sciences Exactes et Naturelles | 511.3 DYB (Parcourir l'étagère) | Disponible | 0000000022984 |
Total des réservations: 0
Includes bibliographical references and index.
Semantics of interaction : an introduction to game semantics / Samson Abramsky -- Computational content of classical logic / Thierry Coquand -- Syntax and semantics of dependent types / Martin Hofmann -- Game semantics / Martin Hyland -- Metalanguages and applications / Eugenio Moggi -- Operationally-based theories of program equivalence / Andrew Pitts -- Categories in concurrency / Glynn Winskel and Mogens Nielsen.
Il n'y a pas de commentaire pour ce document.