[email protected]
Ще ви отговорим до 24 часа
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Контакт
Как се пазарува?
Помощ
Доставка
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Безплатна доставка със Еконт над 129 лв
Наръчник за пазаруване
Тук сме за Вас!
[email protected]
Моят акаунт
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
▸
Празна :-(
0
Typed Lambda Calculi and Applications
Език
Английски език
Английски език
Книга
С меки корици
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda C...
Цялото описание
Код Либристо: 01563428
?
164 b
164 b
128.20
лв
Външен склад в ограничено количество
Изпращаме след 13-16 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
/
С меки корици
106.81
лв
/
С меки корици
95.72
лв
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.
Информация за книгата
Пълно заглавие
Typed Lambda Calculi and Applications
Автор
Samson Abramsky
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
2001
Брой страници
436
Баркод
9783540419600
ISBN
3540419608
Код Либристо
01563428
Тегло
682
Размери
155 x 233 x 25
