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