libcats.org
Главная

Types for Proofs and Programs, TYPES 2007

Обложка книги Types for Proofs and Programs, TYPES 2007

Types for Proofs and Programs, TYPES 2007

, ,

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007.

The 13 revised full papers presented were carefully reviewed and selected from 22 submissions. The topic of this last annual workshop of the Types Working Group was formal reasoning and computer programming based on type theory. Great importance was attached to languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalization of mathematics and mathematics education.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

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

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

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Dan Simmons - Children of the Night

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

International Review of Cytology

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

Polly on The Shore

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

Dissenting Voices in America's Rise to Power

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

Sugar and Spice

Автор:
Категория: fiction
Размер книги: 305 Kb

Creative Couplings Book 2

Автор: , Автор:
Категория: fiction
Размер книги: 139 Kb

The Ascent of Man (Epub & Mobi)

Автор:
Категория: Christian
Размер книги: 615 Kb