Exemplaires: Categorical combinators, sequential algorithms, and functional programming

Enregistré dans:

Détails bibliographiques
Auteur principal :	Curien Pierre-Louis (Auteur)
Format :	Livre
Langue :	anglais
Titre complet :	Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien
Édition :	2nd ed.
Publié :	Boston, Basel, Berlin : Birkhäuser , cop. 1993
Description matérielle :	1 vol. (XX-403 p.)
Collection :	Progress in theoretical computer science editor Ronald V. Book
Sujets :	Langages de programmation > Sémantique Programmation fonctionnelle (informatique) Langages de programmation fonctionnelle Langages formels

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌	Cote	Prêt	Statut
Bibliothèque	68C49	Prêt sans prolongation	Disponible