Rijke, Egbert (The Johns Hopkins University, Maryland)のリリース

Cover for Rijke, Egbert (The Johns Hopkins University, Maryland) · Introduction to Homotopy Type Theory - Cambridge Studies in Advanced Mathematics (Hardcover Book) (2025)
Hardcover Book
Introduction to Homotopy Type Th...
Rijke, Egbert (The Johns Hopkins...