m
     
Ouvrage

H 0 Domains and lambda-calculi

Amadio, Roberto M. (Principal) ; Curien, Pierre-Louis (Co-auteur)

Cambridge University Press

1998

484 p.

978-0-521-62277-6

00024279

03B40 ; 06B35 ; 58-02 ; 68Q55 ; 68N18

logique # informatique # logique combinatoire # sémantique # logique de programmation # sémantique # langage de programmation # domaine # calcul lambda # syntaxe du calcul lambda # dualiété de Stone # approche syntaxique de la sémantique

Ville d'édition : Cambridge

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780521622776

ISBN : 0-521-62277-8

Collation : 24 cm#rel. ; Bibliogr. ; Index

Collection : Cambridge tracts in theoretical computer science

N° de collection : 0046

Localisation : Ouvrage RdC (AMAD)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00024279 [disponible]
Z