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
Mots-clés :	catégorie  Lambda-calcul
Note de contenu :	index, bibliogr.

Categorie for Types [texte imprimé] / Roy L. CROLE, Auteur . - Cambridge : Cambridge University Press, Cop. 1993 . - XVII-335 p.. - (Cambridge mathematical texbooks) .
ISBN : 978-0-521-45092-8
Langues : Anglais

Mots-clés :	catégorie  Lambda-calcul
Note de contenu :	index, bibliogr.