A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Roy L. CROLE
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesCategorie for Types (Cop. 1993) / Roy L. CROLE
Titre : Categorie for Types Type de document : texte imprimé Auteurs : Roy L. CROLE, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : Cop. 1993 Collection : Cambridge mathematical texbooks Importance : XVII-335 p. ISBN/ISSN/EAN : 978-0-521-45092-8 Langues : Anglais (eng) Mots-clés : catégorie Lambda-calcul Note de contenu : index, bibliogr. Categorie for Types [texte imprimé] / Roy L. CROLE, Auteur . - Cambridge University Press, Cop. 1993 . - XVII-335 p.. - (Cambridge mathematical texbooks) .
ISBN : 978-0-521-45092-8
Langues : Anglais (eng)
Mots-clés : catégorie Lambda-calcul Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19095 CRO/18/7644 Livre Recherche Salle Disponible 19350 CRO/18/7795 Livre Recherche Salle Disponible