Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Lambda Calculus with Types, Barendregt


Варианты приобретения
Цена: 12830.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-08-04
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Barendregt
Название:  Lambda Calculus with Types
Перевод названия: Барендрегт: ?-исчисление с типами [данных]
ISBN: 9780521766142
Издательство: Cambridge Academ
Классификация:
ISBN-10: 0521766141
Обложка/Формат: Hardback
Страницы: 856
Вес: 1.63 кг.
Дата издания: 20.06.2013
Серия: Perspectives in logic
Язык: English
Иллюстрации: Worked examples or exercises; 2 halftones, unspecified; 50 line drawings, unspecified
Размер: 179 x 249 x 49
Читательская аудитория: Professional and scholarly
Ключевые слова: Mathematical logic,Mathematical theory of computation, MATHEMATICS / Logic
Основная тема: Mathematics
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types, recursive types and intersection types. Numerous exercises are provided.


Lambda-Calculus and Combinators

Автор: J. Roger Hindley
Название: Lambda-Calculus and Combinators
ISBN: 0521898854 ISBN-13(EAN): 9780521898850
Издательство: Cambridge Academ
Рейтинг:
Цена: 10771.00 р.
Наличие на складе: Есть (1 шт.)
Описание: This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.

Domains and Lambda-Calculi

Автор: Amadio
Название: Domains and Lambda-Calculi
ISBN: 0521062926 ISBN-13(EAN): 9780521062923
Издательство: Cambridge Academ
Рейтинг:
Цена: 8870.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.

Domains and Lambda-Calculi

Автор: Amadio
Название: Domains and Lambda-Calculi
ISBN: 0521622778 ISBN-13(EAN): 9780521622776
Издательство: Cambridge Academ
Рейтинг:
Цена: 21384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия