Introduction to Homotopy Type Theory - Egbert Rijke
513,83 lei
+20,55 lei înapoiSuma de cashback este aproximativă. Suma finală va fi vizibilă la finalizarea achiziției pe site-ul vânzătorului.Preț stabilneschimbat din 6 oct.
6 oct.azi
Descriere
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.
Caracteristici
Cum primești cashback-ul
Cumperi prin YolozApeși „Cumpără” și finalizezi comanda pe LIBRIS.
Confirmat în până la 60 de zileDupă ce trece perioada de retur a magazinului.
LIBRIS4% înapoiIntroduction to Homotopy Type Theory - Egbert Rijke
513,83 lei
+20,55 lei înapoiSuma de cashback este aproximativă. Suma finală va fi vizibilă la finalizarea achiziției pe site-ul vânzătorului.Preț stabilneschimbat din 6 oct.
6 oct.azi
513,83 lei+20,55 lei înapoi
Descriere
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.