Domains and lambda-calculi
Autres auteurs :
Curien, Pierre-Louis
Collection :
Cambridge tracts in theoretical computer science
. 46
0956-9103
Publié par :
Cambridge University Press
(Cambridge, U.K. | New York)
Détails physiques : 1 volumes (XVI-484 pages) 24 cm.
ISBN :0521622778 (rel); 0521062926 (br); 9780521622776 (rel); 9780521062923 (br).
Sujet(s) :
Lambda calculus
--
Semantics.
--
Sémantique.
--
Semantics.
|
Programming languages (Electronic computers)
|
théorie domaine
|
propriété topologie LAMBDA
|
programmation sémantique
|
lambda calcul
|
Lambda-calcul
|
Langages de programmation
|
théorie domaine
|
propriété topologie LAMBDA
|
programmation sémantique
|
lambda calcul
|
Lambda calculus
|
Programming languages (Electronic computers)
Année : 1998
| 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 AMA (Parcourir l'étagère) | Disponible | 0000000021721 |
Total des réservations: 0
Terms covering use: Ouvrage.
Informations sur l'éditeur.
Bibliogr. pages [469]-479. Index.
Il n'y a pas de commentaire pour ce document.