“Martin-Löf Type Theory as a Multi-Agent Epistemic Formal System” (2019) Epistemology & Philosophy of Science, 55(4), pp. 44–47. Available at: https://journal.iphras.ru/article/view/2359 (Accessed: 19 April 2025).