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