Introduction to Homotopy Type Theory
Rijke, Egbert: - Egbert Rijke is Postdoctoral Research Fellow at Johns Hopkins University and is a pioneering figure in homotopy type theory.
A fost și mai ieftin — l-am prins la 456,74 leiCum s-a mișcat prețul
Ce am observat noi
peste minimToate cifrele de mai sus ies din ce am notat noi, în fiecare noapte. Nu le-am luat de nicăieri.
În fiecare zi luăm cel mai mic preț dintre toate magazinele și îl punem pe grafic. Linia verde e cel mai jos a coborât în ultima lună.
Lasă-ne adresa și îți scriem dacă scade sub —. Un singur e-mail, când chiar se întâmplă ceva. Îți cerem întâi o confirmare, și te poți retrage oricând dintr-un click.
Ce zice magazinul despre el
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.
Descrierea e luată de la Libris.
Produse similare din Științe & tehnică
Vezi categoria →
