Доманов, О. А. Монадные вычисления в теоретико-типовой семантике. RL 2023, 4, 70-81.