Cambridge University Press · ENSTK
Introduction to Homotopy Type Theory - Egbert Rijke
EAN: 9781108844161
Compară ofertele (1)
Prețurile sunt preluate automat din feed-urile magazinelor și pot diferi față de site-ul magazinului. Verifică prețul final la magazin.
Descriere Introduction to Homotopy Type Theory - Egbert Rijke
Rijke, Egbert: - Egbert Rijke is Postdoctoral Research Fellow at Johns Hopkins University and is a pioneering figure in homotopy type theory. As one of the co-authors of the influential book 'Homotopy Type Theory: Univalent Foundations of Mathematics' (2013), he has played a pivotal role in shaping the field. He is also a founder and lead developer of the agda-unimath library, which stands as the largest library of formalized mathematics written in the Agda proof assistant.
Detalii
- Brand
- Cambridge University Press
- Categorie
- ENSTK
- EAN / GTIN
- 9781108844161
- Magazine
- 1
- Disponibilitate
- in stock
Produse similare
Cambridge University Press
The Cambridge History of Magic and Witchcraft in the West: From Antiquity to the Present - David J. Collins S. J.
513,83 RON
libris.ro
Cambridge University Press
Hermetica
513,83 RON
libris.ro
Cambridge University Press
Cambridge History of the Second World War - John Ferris
513,83 RON
libris.ro
Cambridge University Press
The Cambridge History of World Music - Philip V. Bohlman
513,83 RON
libris.ro
Cambridge University Press
The Cambridge History of the Second World War, Volume 3: Total War: Economy, Society and Culture - Michael Geyer
513,83 RON
libris.ro
Cambridge University Press
Atlas of Minerals and Igneous and Metamorphic Rocks in Thin-Section - Alessandro Da Mommio
513,75 RON
libris.ro
Cambridge University Press
A Clinical and Forensic Guide to Cults and Persuasive Leadership - Tyler Durns
513,75 RON
libris.ro
Cambridge University Press
Dr Podcast Scripts for the Final FRCA - Rebecca Leslie
513,75 RON
libris.ro