Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Amadio, Roberto M.  Voir les notices liées en tant qu'auteur
Curien, Pierre-Louis  Voir les notices liées en tant qu'auteur

Titre(s) : Domains and lambda-calculi [Texte imprimé] / Roberto M. Amadio,... Pierre-Louis Curien,...

Publication : Cambridge : Cambridge university press, 1998

Description matérielle : 1 vol. (XVI-484 p.) ; 24 cm

Collection : Cambridge tracts in theoretical computer science ; 46

Lien à la collection : Cambridge tracts in theoretical computer science  Voir toutes les notices liées

Sujet(s) : Lambda-calcul  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-521-62277-8 (rel.)

Identifiant de la notice  : ark:/12148/cb37537904c

Notice n° :  FRBNF37537904