Программирование: теория типов учебное пособие
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типо...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | Russian |
| Published: |
Москва
Юрайт
2023
|
| Edition: | 2-е изд. |
| Series: | Высшее образование
|
| Subjects: | |
| Online Access: | https://urait.ru/bcode/517823 https://urait.ru/book/cover/EB8F263C-7284-4D0F-8A50-D12C275CAF83 |