Type theory and formal proof an introduction

Type theory and formal proof an introduction

Bibliographic Details
Main Authors: Nederpelt, Rob (Author), Geuvers, Herman (Author)
Format: Book
Language:English
Published: Cambridge Cambridge University Press 2014.
Subjects:
Type theory.
Computers > Programming languages.