Isomorphisms of types
Auteur :
Di / DiCosmo, Roberto
Éditeur :
DiCosmo, Roberto
ISBN :
9780817637637
Date de publication :
22 déc. 1994
Poids :
545 g
Langue :
Anglais
Pays d'origine :
Allemagne
Isomorphisms of types is a research topic in type theory that has valuable practical applications both for programming language design and for more human-centred information retrieval in software libraries. In this book the author presents the theoretical aspects of this research.