libcats.org
Главная

Programming in Martin-Lof's Type Theory: An Introduction

Обложка книги Programming in Martin-Lof's Type Theory: An Introduction

Programming in Martin-Lof's Type Theory: An Introduction

, ,
In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Lof. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Приключения духа

Автор:
Размер книги: 27 Kb

Цитадель

Автор:
Размер книги: 1.09 Mb

Зодиакальный ключ к аспектам

Автор:
Категория: society, society, religion
Размер книги: 1.18 Mb

Youth Justice And Child Protection

Автор: , Автор: , Автор:
Категория: Politics_Sociology
Размер книги: 1.09 Mb

El Ataque Indio de Rey

Автор:
Категория: шахматы
Размер книги: 541 Kb

Creating Web Pages All-in-One Desk Reference For Dummies

Автор: , Автор:
Размер книги: 19.04 Mb

Философия науки и техники

Автор: , Автор: , Автор:
Размер книги: 420 b