Provotar O, Ilkun O. Категорії як формальні моделі обчислень. ФММІТ [інтернет]. 27Чер2023 [cited 3Квіт2025];(37):98-02. Available from: http://fmmit.lviv.ua/index.php/fmmit/article/view/313