Поиск
На сайте: 566443 статей, 285463 фото.

Axiomatic Domain Theory in Categories of Partial Maps (книга)

Axiomatic Domain Theory in Categories of Partial Maps
Автор: Marcelo P. Fiore
Оригинал издан: ????

«Axiomatic Domain Theory in Categories of Partial Maps»книга ???? года.

Содержание

Содержание

От издателя

«Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional…»

Рецензии

См. также

Ссылки