A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Pierre-Louis CURIEN |
Documents disponibles écrits par cet auteur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
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 Category theory and computer science / David H. PITT (Cop. 1991)
Titre : Category theory and computer science : Paris, France, september 1991, Proceedings Type de document : texte imprimé Auteurs : David H. PITT, Editeur scientifique ; Pierre-Louis CURIEN, Editeur scientifique ; Samson ABRAMSKY, Editeur scientifique Editeur : Berlin : Springer-Verlag Année de publication : Cop. 1991 Collection : Lecture notes in computer science, ISSN 0302-9743 num. 530 Importance : 301 p. ISBN/ISSN/EAN : 978-3-540-54495-1 Langues : Anglais Note de contenu : index, références Category theory and computer science : Paris, France, september 1991, Proceedings [texte imprimé] / David H. PITT, Editeur scientifique ; Pierre-Louis CURIEN, Editeur scientifique ; Samson ABRAMSKY, Editeur scientifique . - Berlin : Springer-Verlag, Cop. 1991 . - 301 p.. - (Lecture notes in computer science, ISSN 0302-9743; 530) .
ISBN : 978-3-540-54495-1
Langues : Anglais
Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 23436 PIT/ /13237 Livre Recherche Salle Disponible 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 Introduction à la logique / René DAVID (DL 2014)
Titre : Introduction à la logique : théorie de la démonstration Type de document : texte imprimé Auteurs : René DAVID, Auteur ; Karim NOUR, Auteur ; Pierre-Louis CURIEN, Préfacier, etc. Mention d'édition : 2e éd. Editeur : Malakoff : Dunod Année de publication : DL 2014 Collection : Sciences Sup, ISSN 1636-2217 Importance : XII-352 p. ISBN/ISSN/EAN : 978-2-10-006796-1 Langues : Anglais Mots-clés : logique mathématique théorie de la démonstration Note de contenu : index, bibliogr. Introduction à la logique : théorie de la démonstration [texte imprimé] / René DAVID, Auteur ; Karim NOUR, Auteur ; Pierre-Louis CURIEN, Préfacier, etc. . - 2e éd. . - Malakoff : Dunod, DL 2014 . - XII-352 p.. - (Sciences Sup, ISSN 1636-2217) .
ISBN : 978-2-10-006796-1
Langues : Anglais
Mots-clés : logique mathématique théorie de la démonstration Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 23041 DAV/02/11186 Livre Recherche Salle Disponible