Barendregt H.P. (EN) — Lambda Calculus

Тут можно читать онлайн книгу Barendregt H.P. (EN) - Lambda Calculus - бесплатно полную версию (целиком). Жанр книги: Иностранная литература. Вы можете прочесть полную версию (весь текст) онлайн без регистрации и смс на сайте Lib-King.Ru (Либ-Кинг) или прочитать краткое содержание, аннотацию (предисловие), описание и ознакомиться с отзывами (комментариями) о произведении.

Lambda Calculus
Язык книги: Английский
Прочитал книгу? Поставь оценку!
0 0

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)

Поделиться книгой

Оставить отзыв