受强制性开放获取政策约束的文章 - Martín Hötzel Escardó了解详情
可在其他位置公开访问的文章：1 篇
Notions of Anonymous Existence in Martin-L\" of Type Theory
N Kraus, M Escardó, T Coquand, T Altenkirch
Logical Methods in Computer Science 13, 2017
强制性开放获取政策： US Department of Defense, UK Engineering and Physical Sciences Research Council
出版信息和资助信息由计算机程序自动确定