Search results for "Homotopy Type Theory"
26 results found
Search results

Sciences, Technology & Medicine
Introduction to Homotopy Type Theory (English, Egbert Rijke)

Cambridge University Press
Categorical Homotopy Theory by Emily Riehl

Sciences, Technology & Medicine
Global Homotopy Theory (English, Stefan Schwede)

Science & Mathematics
Algebraic Methods in Unstable Homotopy Theory by Neisendorfe

Science & Mathematics
Algebraic Methods in Unstable Homotopy Theory (English, Joseph Neisendorfer)

Textbooks & Study Guides
Obstruction Theory: On Homotopy Classification of Maps by H. J. Baues (Springer, 1977, Hardcover) – Advanced Mathematics Textbook for Homotopy Theory & Algebraic Topology

Sciences, Technology & Medicine
From Categories to Homotopy Theory (English, Birgit Richter)

Cambridge University Press
Cubical Homotopy Theory: 25 by Brian A. Munson | Ismar Volic

Sciences, Technology & Medicine
Ideologie (English, Peter Tepe)

Cambridge University Press
Homotopy Theory (English, E. Rees | J. D. S. Jones | N. J. Hitchin)

Science & Mathematics
Algebraic Homotopy (English, Hans J. Baues)

Science & Mathematics
Algebraic Homotopy (English, Hans Joachim Baues)

Literature & Fiction
The Making of the Pentecostal Melodrama (English, Katrien Pype)

Literature & Fiction
The Making of the Pentecostal Melodrama (English, Katrien Pype)

Science & Mathematics
Algebraic Homotopy by Hans Joachim Baues – Math Book

Science & Mathematics
Algebraic Homotopy by Hans J. Baues – Math Textbook

Sciences, Technology & Medicine
Stable Homotopy (English, Joel M. Cohen)

Sciences, Technology & Medicine
Literary Theory (English, Terry Eagleton)

Science & Mathematics
Algebraic Topology - Rational Homotopy (English, Yves Felix)

Science & Mathematics
Commutator Calculus and Groups of Homotopy Classes by Hans J

Sciences, Technology & Medicine
Spaces of Homotopy Self-Equivalences - A Survey (English, John W. Rutter)

Language, Linguistics & Writing
Type-Theoretical Grammar (English, Aarne Ranta)

Sciences, Technology & Medicine
Homotopy Equivalences of 3-Manifolds with Boundaries (English, K. Johannson)

Literature & Fiction
Literary Theory: An Introduction by Terry Eagleton

Sciences, Technology & Medicine
Type Crossings (English, Theodore Drange)

Sciences, Technology & Medicine
