libcats.org
Главная

Typed Lambda Calculi and Applications, 6 conf., TLCA 2003

Обложка книги Typed Lambda Calculi and Applications, 6 conf., TLCA 2003

Typed Lambda Calculi and Applications, 6 conf., TLCA 2003

This book constitutes the refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003.

The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants.

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

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

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

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

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

Contemporary Theatre, Film and Television, Volume 97

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

Invasion of The Body Snatchers

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

Я - мистик

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

Using AutoCAD 2011

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

Light from Heaven

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