Type theory and formal proof an introduction

Type theory and formal proof an introduction

Detalles Bibliográficos
Autores principales: Nederpelt, Rob (Autor), Geuvers, Herman (Autor)
Formato: Libro
Lenguaje:English
Publicado: Cambridge Cambridge University Press 2014.
Materias:
Type theory.
Computers > Programming languages.