Program Analysis Lecture Notes (CMU 15-8
β it-ebooks
π Library
π
2017
π iBooker it-ebooks
π English
β¦ LIBER β¦
π
Homotopy Type Theory Lecture Notes (CMU 15-819)
β Scribed by it-ebooks
- Publisher
- iBooker it-ebooks
- Year
- 2017
- Tongue
- English
- Leaves
- 116
- Series
- it-ebooks-2017
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Notes on simplicial homotopy theory [lec
β AndrΓ© Joyal, Myles Tierney
π Library
π
2008
π English
Homotopy type theory
β Egbert Rijke
π Library
π
2012
π English
Compiler Design Lecture Notes (CMU 15-41
β it-ebooks
π Library
π
2017
π iBooker it-ebooks
π English
Homotopy and homology of digraphs [lectu
β Alexander Grigorβyan
π Library
π
2015
π English
Homotopy Type and Homology
β Hans-Joachim Baues
π Library
π
1996
π Oxford University Press, USA
π English
The author, a leading figure in algebraic topology, provides a modern treatment of a long established set of questions in this important research area. The book's principal objective--and main result--is the classification theorem on k-variants and boundary invariants, which supplement the classical