Type theory and formal proof an introduction

Type theory and formal proof an introduction

Bibliografische gegevens
Hoofdauteurs: Nederpelt, Rob (Auteur), Geuvers, Herman (Auteur)
Formaat: Boek
Taal:English
Gepubliceerd in: Cambridge Cambridge University Press 2014.
Onderwerpen:
Type theory.
Computers > Programming languages.