A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Roberto M. AMADIO |
Documents disponibles écrits par cet auteur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Domains and Lambda-calculi / Roberto M. AMADIO (Cop. 1998)
Titre : Domains and Lambda-calculi Type de document : texte imprimé Auteurs : Roberto M. AMADIO, Auteur ; Pierre-Louis CURIEN, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : Cop. 1998 Collection : Cambridge tracts in theoretical computer science num. 46 Importance : XVI-484 p. ISBN/ISSN/EAN : 978-0-521-62277-6 Langues : Anglais Mots-clés : modèle algébrique lambda-calcul machine catégorielle abstraite programmation fonctionnelle domaine langage de programmation Note de contenu : index, références Domains and Lambda-calculi [texte imprimé] / Roberto M. AMADIO, Auteur ; Pierre-Louis CURIEN, Auteur . - Cambridge : Cambridge University Press, Cop. 1998 . - XVI-484 p.. - (Cambridge tracts in theoretical computer science; 46) .
ISBN : 978-0-521-62277-6
Langues : Anglais
Mots-clés : modèle algébrique lambda-calcul machine catégorielle abstraite programmation fonctionnelle domaine langage de programmation Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19034 AMA/68/7604 Livre Recherche Salle Disponible