Type theory and formal proof an introduction

Type theory and formal proof an introduction

Dades bibliogràfiques
Autors principals: Nederpelt, Rob (Autor), Geuvers, Herman (Autor)
Format: Llibre
Idioma:English
Publicat: Cambridge Cambridge University Press 2014.
Matèries:
Type theory.
Computers > Programming languages.