HoTT-QFP Theory: Homotopy Type Theory Finitist Algebra, I
Fields of Study & Subjects
Polynomial and algebraic computation
Algebraic and Geometric Analysis
Homotopy and Cohomology in Algebraic Topology
Publication details
- Publication date
- 1 January 2026
- Language
- EN