David Pitt; David E. Rydeheard; Peter Johnstone Category Theory and Computer Science 9783540601647

Варианты приобретения

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

Добавить в корзину

в Мои желания

Автор: David Pitt; David E. Rydeheard; Peter Johnstone
Название: Category Theory and Computer Science
ISBN: 9783540601647
Издательство: Springer
Классификация:

Математика для специалистов в области теории вычислительных систем

ISBN-10: 3540601643
Обложка/Формат: Paperback
Страницы: 259
Вес: 0.39 кг.
Дата издания: 21.07.1995
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 15
Основная тема: Computer Science
Подзаголовок: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: These conference proceedings document the exploitation of links between logic and category theory, leading to a solid basis of much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics.

Category Theory and Computer Science, David Pitt; David E. Rydeheard; Peter Johnstone