Jacobs B. (EN) — Categorical Logic and Type Theory
Тут можно читать онлайн книгу Jacobs B. (EN) - Categorical Logic and Type Theory - бесплатно полную версию (целиком). Жанр книги: Иностранная литература. Вы можете прочесть полную версию (весь текст) онлайн без регистрации и смс на сайте Lib-King.Ru (Либ-Кинг) или прочитать краткое содержание, аннотацию (предисловие), описание и ознакомиться с отзывами (комментариями) о произведении.
Categorical Logic and Type Theory краткое содержание
Categorical Logic and Type Theory - описание и краткое содержание, автор Jacobs B. (EN), читать бесплатно онлайн на сайте электронной библиотеки Lib-King.Ru.
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
Categorical Logic and Type Theory - читать онлайн бесплатно полную версию (весь текст целиком)
Categorical Logic and Type Theory - читать книгу онлайн бесплатно, автор Jacobs B. (EN)
Похожие книги на "Categorical Logic and Type Theory", Jacobs B. (EN)
Оставить отзыв
- Фантастика и Фэнтези
- Детективы и Триллеры
- Проза
- Любовные романы
- Приключения
- Детские
- Поэзия и драматургия
- Старинная литература
- Научно-образовательная
- Компьютеры и Интернет
- Справочная литература
- Документальная литература
- Религия и духовность
- Юмор
- Дом и Семья
- Деловая литература
- Жанр не определен
- Техника
- Прочее
- Драматургия
- Фольклор
- Военное дело