- title:
- Homotopy Type Theory
Théorie des types homotopiques - manager:
- Samuel Mimram
- ects:
- 3
- period:
- 2
- hours:
- 24
- weeks:
- 8
- hours-per-week:
- 3
- lang:
- themes:
- Logic/Proof
- statu:
- 2025
- []
- Homotopy Type Theory
Théorie des types homotopiques
- Language:
- Period:
- 2.
- Duration:
- 24h (3h/week).
- ECTS:
- 3.
- Themes: Logic/Proof
- Manager:
- Samuel Mimram.
[empty for now]