The James Construction and $$\pi _4(\mathbb {S}^{3})$$π4(S3) in Homotopy Type Theory

Brunerie, Guillaume

doi:10.1007/s10817-018-9468-2

Checking…

The James Construction and $$\pi 4(\mathbb {S}^{3})$$π4(S3) in Homotopy Type Theory

by Guillaume Brunerie

Be the first to rate this book

LanguageEN

Published2018

About this book

No description available for this edition yet.

Published by Springer Netherlands; Springer-Verlag; Kluwer Academic Publishers; Springer Science and Business Media LLC (ISSN 0168-7433) (2018).

Details

Publisher: Springer Netherlands; Springer-Verlag; Kluwer Academic Publishers; Springer Science and Business Media LLC (ISSN 0168-7433)

Rate this book

Quick info

Language: en
Published: 2018
Availability: Checking…

About this scholarly article

The James Construction and $$\pi _4(\mathbb {S}^{3})$$π4(S3) in Homotopy Type Theory by Brunerie, Guillaume is a scholarly article available to read on EtoBox.

Author

Brunerie, Guillaume

Publisher

Springer Netherlands; Springer-Verlag; Kluwer Academic Publishers; Springer Science and Business Media LLC (ISSN 0168-7433)

Published

2018

Language

Genres

The James Construction and $$\pi 4(\mathbb {S}^{3})$$π4(S3) in Homotopy Type Theory

About this book

Details

Rate this book

Quick info

Genres

About this scholarly article

Genres

The James Construction and $$\pi 4(\mathbb {S}^{3})$$π4(S3) in Homotopy Type Theory

About this book

Details

Rate this book

Quick info