The James Construction and $$\pi _4(\mathbb {S}^{3})$$ in Homotopy Type Theory
Crossref DOI link: https://doi.org/10.1007/s10817-018-9468-2
Published Online: 2018-06-27
Published Print: 2019-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Brunerie, Guillaume
Funding for this research was provided by:
National Science Foundation (CMU 1150129-338510, DMS 1128155)
Text and Data Mining valid from 2018-06-27
Version of Record valid from 2018-06-27
Article History
Received: 27 November 2016
Accepted: 31 May 2018
First Online: 27 June 2018