Homotopy Type Theory – alle Bücher

Ihre Suche nach "homotopy type theory" ergab 1 Treffer

Stefan Müller-Stach

The Code of Mathematics

Mathematics Study Resources -Band 11

Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. Besides selected ideas …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 53,32*

Artikel merken

In den Warenkorb

Menge ändern