Introduction to Homotopy Type Theory - Egbert Rijke

Descriere YEO:

Introduction to Homotopy Type Theory - Disponibil la libris.ro

Pe YEO găsești Introduction to Homotopy Type Theory de la Egbert Rijke, în categoria Mathematics.

Indiferent de nevoile tale, Introduction to Homotopy Type Theory - Egbert Rijke din categoria Mathematics îți poate aduce un echilibru perfect între calitate și preț, cu avantaje practice și moderne.

Preț: 513.83 Lei

Caracteristicile produsului Introduction to Homotopy Type Theory

• Brand: Egbert Rijke
• Categoria: Mathematics
• Magazin: libris.ro
• Ultima actualizare: 02-07-2026 01:12:41

Comandă Introduction to Homotopy Type Theory Online, Simplu și Rapid

Prin intermediul platformei YEO, poți comanda Introduction to Homotopy Type Theory de la libris.ro rapid și în siguranță. Bucură-te de o experiență de cumpărături online optimizată și descoperă cele mai bune oferte actualizate constant.

Descriere magazin:
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.