Type theory and formal proof an introduction

Type theory and formal proof an introduction

Opis bibliograficzny
Główni autorzy: Nederpelt, Rob (Autor), Geuvers, Herman (Autor)
Format: Książka
Język:English
Wydane: Cambridge Cambridge University Press 2014.
Hasła przedmiotowe:
Type theory.
Computers > Programming languages.