Type theory and formal proof: an introduction
Auteur :
Nederpelt, Rob / Geuvers, Herman
Éditeur :
Cambridge University Press
ISBN :
9781107036505
Date de publication :
6 nov. 2014
Dimensions :
25,4 x 17,3 x 2,8 cm
Poids :
980 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.