Barendregt H.P. (EN) — Lambda Calculus
Тут можно читать онлайн книгу Barendregt H.P. (EN) - Lambda Calculus - бесплатно полную версию (целиком). Жанр книги: Иностранная литература. Вы можете прочесть полную версию (весь текст) онлайн без регистрации и смс на сайте Lib-King.Ru (Либ-Кинг) или прочитать краткое содержание, аннотацию (предисловие), описание и ознакомиться с отзывами (комментариями) о произведении.
Lambda Calculus краткое содержание
Lambda Calculus - описание и краткое содержание, автор Barendregt H.P. (EN), читать бесплатно онлайн на сайте электронной библиотеки Lib-King.Ru.
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.
Lambda Calculus - читать онлайн бесплатно полную версию (весь текст целиком)
Lambda Calculus - читать книгу онлайн бесплатно, автор Barendregt H.P. (EN)
Похожие книги на "Lambda Calculus", Barendregt H.P. (EN)
Оставить отзыв
- Фантастика и Фэнтези
- Детективы и Триллеры
- Проза
- Любовные романы
- Приключения
- Детские
- Поэзия и драматургия
- Старинная литература
- Научно-образовательная
- Компьютеры и Интернет
- Справочная литература
- Документальная литература
- Религия и духовность
- Юмор
- Дом и Семья
- Деловая литература
- Жанр не определен
- Техника
- Прочее
- Драматургия
- Фольклор
- Военное дело