Provotar, O. і Ilkun, O. (2023) Категорії як формальні моделі обчислень, ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, (37), pp 98-102. doi: 10.15407/10.15407/fmmit2023.37.098.