Results 111 to 120 of about 3,998 (234)

On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths [PDF]

open access: green, 2018
Tiago M. L. de Veras   +3 more
openalex   +1 more source

Postnikov pieces and šµā„¤/š•”-homotopy theory [PDF]

open access: hybrid, 2006
NatĆ lia Castellana   +2 more
openalex   +1 more source

Homotopy Theory: Tools and Applications

open access: green, 2019
Daniel Davis   +6 more
openalex   +2 more sources

Home - About - Disclaimer - Privacy