受强制性开放获取政策约束的文章 - Ulrik Buchholtz了解详情
可在其他位置公开访问的文章：9 篇
Higher groups in homotopy type theory
U Buchholtz, F van Doorn, E Rijke
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
强制性开放获取政策： US Department of Defense, UK Engineering and Physical Sciences Research Council
Varieties of cubical sets
U Buchholtz, E Morehouse
Relational and Algebraic Methods in Computer Science: 16th International …, 2017
强制性开放获取政策： US Department of Defense
Homotopy type theory in Lean
F van Doorn, J von Raumer, U Buchholtz
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
强制性开放获取政策： US Department of Defense
Cellular cohomology in homotopy type theory
U Buchholtz, KB Hou Favonia
Proceedings of the 33rd annual acm/ieee symposium on logic in computer …, 2018
强制性开放获取政策： US National Science Foundation, US Department of Defense, UK Engineering and …
The real projective spaces in homotopy type theory
U Buchholtz, E Rijke
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-8, 2017
强制性开放获取政策： US Department of Defense
Construction of the circle in UniMath
M Bezem, U Buchholtz, DR Grayson, M Shulman
Journal of Pure and Applied Algebra 225 (10), 106687, 2021
强制性开放获取政策： US Department of Defense
Syntactic forcing models for coherent logic
M Bezem, U Buchholtz, T Coquand
Indagationes Mathematicae 29 (6), 1441-1464, 2018
强制性开放获取政策： US Department of Defense
On symmetries of spheres in univalent foundations
P Cagne, UT Buchholtz, N Kraus, M Bezem
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024
强制性开放获取政策： Research Council of Norway
HIGHER
U Buchholtz, J Weinberger
强制性开放获取政策： US Department of Defense
出版信息和资助信息由计算机程序自动确定