Поиск по сайту

HomeПоиск по сайту

Information

По вашему запросу найдено материалов: 1
Искать:
Domanov Oleg A., Domanov Oleg A. «Formalization of Contexts in Type Theory with Records and Modules» // Tomsk State University Journal of Philosophy, Sociology and Political Science 2019. №52 C.23-38