Type theory and formal proof an introduction

Type theory and formal proof an introduction

Detalhes bibliográficos
Principais autores: Nederpelt, Rob (Autor), Geuvers, Herman (Autor)
Formato: Livro
Idioma:English
Publicado em: Cambridge Cambridge University Press 2014.
Assuntos:
Type theory.
Computers > Programming languages.