Introduction to Homotopy Type Theory - Egbert Rijke

Detalii:

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.

Preț:

456.74 ^RON

---

Alte detalii:

Vânzător: Libris.ro
Brand: Egbert Rijke