Type theory and formal proof an introduction

Type theory and formal proof an introduction

Xehetasun bibliografikoak
Egile Nagusiak: Nederpelt, Rob (Egilea), Geuvers, Herman (Egilea)
Formatua: Liburua
Hizkuntza:English
Argitaratua: Cambridge Cambridge University Press 2014.
Gaiak:
Type theory.
Computers > Programming languages.