0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Homotopy Type Theory – alle Bücher

    Ihre Suche nach "Homotopy Type Theory" (Bücher) ergab 2 Treffer.

    Ansicht:

    Egbert Rijke
    Introduction to Homotopy Type Theory

    This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathemati…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 83,35

    Steve Awodey
    Cartesian Cubical Model Categories

    Lecture Notes in Mathematics - Band 2385

    This book introduces the category of Cartesian cubical sets and endows it with a Quillen model structure using ideas coming from Homotopy type theory. In particular, recent constructions of cubical system…

    lieferbar ab 4.1.2026.
    Buch
    Aktueller Preis: EUR 71,19
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.