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