Type theory and formal proof an introduction

Type theory and formal proof an introduction

Библиографические подробности
Главные авторы: Nederpelt, Rob (Автор), Geuvers, Herman (Автор)
Формат: ‌
Язык:English
Опубликовано: Cambridge Cambridge University Press 2014.
Предметы:
Type theory.
Computers > Programming languages.