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