Computation and reasoning: a type theory for computer science
Auteur :
Luo, Zhaohui
Éditeur :
Oxford University Press
ISBN :
9780198538356
Date de publication :
31 mars 1994
Dimensions :
24,1 x 16,1 x 1,9 cm
Poids :
460 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning.