A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail d'une collection
|
Documents disponibles dans la collection
Affiner la recherche Interroger des sources externes
Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis CURIEN (Cop. 1993)
Titre : Categorical combinators, sequential algorithms, and functional programming Type de document : texte imprimé Auteurs : Pierre-Louis CURIEN, Auteur Mention d'édition : 2nd ed. Editeur : Boston : Birkhäuser Année de publication : Cop. 1993 Collection : Progress in Theoretical Computer Science Importance : XX-403 p. ISBN/ISSN/EAN : 978-0-8176-3654-8 Langues : Anglais Mots-clés : algorithme séquentiel modèle algébrique langage de programmation lambda-calcul machine catégorielle abstraite programmation fonctionnelle Note de contenu : index, références Categorical combinators, sequential algorithms, and functional programming [texte imprimé] / Pierre-Louis CURIEN, Auteur . - 2nd ed. . - Boston : Birkhäuser, Cop. 1993 . - XX-403 p.. - (Progress in Theoretical Computer Science) .
ISBN : 978-0-8176-3654-8
Langues : Anglais
Mots-clés : algorithme séquentiel modèle algébrique langage de programmation lambda-calcul machine catégorielle abstraite programmation fonctionnelle Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19037 CUR/68/7607 Livre Recherche Salle Disponible