“Martin-Löf Type Theory as a Multi-Agent Epistemic Formal System”, ЭФН, vol. 55, no. 4, pp. 44–47, Mar. 2019, Accessed: Apr. 19, 2025. [Online]. Available: https://journal.iphras.ru/article/view/2359