Provotar, O., & Ilkun, O. (2023). Категорії як формальні моделі обчислень. ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, (37), 98-102. Retrieved із http://fmmit.lviv.ua/index.php/fmmit/article/view/313