Login / Signup

On the Nielsen-Schreier Theorem in Homotopy Type Theory.

Andrew W. Swan
Published in: Log. Methods Comput. Sci. (2022)
Keyphrases