Results 221 to 226 of about 7,722 (226)
Some of the next articles are maybe not open access.
Disconnected rational homotopy theory
Advances in Mathematics, 2015Andrey Lazarev, Martin Markl
exaly
The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory
ACM Transactions on Computational Logic, 2016exaly

