Formalization of Contexts in Type Theory with Records and Modules
-
Published:2019-12-01
Issue:52
Volume:
Page:23-38
-
ISSN:1998-863X
-
Container-title:Vestnik Tomskogo gosudarstvennogo universiteta. Filosofiya, sotsiologiya, politologiya
-
language:
-
Short-container-title:Tomsk State University Journal of Philosophy, Sociology and Political Science
Publisher
Tomsk State University
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献