“Type Theory in the Semantics of Propositional Attitudes”. Epistemology & Philosophy of Science, vol. 55, no. 4, Mar. 2019, pp. 26-37, https://journal.iphras.ru/article/view/2357.