Повернутися до подробиць статті
Використання категорій як абстрактних структур для формалізації моделей обчислень
Завантажити
Завантажити PDF