Type theory and formal proof an introduction

Type theory and formal proof an introduction

Bibliografiska uppgifter
Huvudupphovsmän: Nederpelt, Rob (Författare, medförfattare), Geuvers, Herman (Författare, medförfattare)
Materialtyp: Bok
Språk:English
Publicerad: Cambridge Cambridge University Press 2014.
Ämnen:
Type theory.
Computers > Programming languages.