Type theory and formal proof : an introduction
"Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the...
Enregistré dans:
Auteurs principaux : | , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Type theory and formal proof : an introduction / Rob Nederpelt, ..., Herman Geuvers, ... |
Publié : |
Cambridge, New York (N. Y.) :
Cambridge University Press
, 2014 |
Description matérielle : | 1 vol. (XXV-436 p.) |
Sujets : |
Chargement en cours