“Remarks on Type Theory in the Semantics of Propositional Attitudes”, ЭФН, vol. 55, no. 4, pp. 62–67, Mar. 2019, Accessed: Apr. 19, 2025. [Online]. Available: https://journal.iphras.ru/article/view/2363