Octocurious

rijke2022-hott

1 min read

Rijke, E. (2022). Introduction to Homotopy Type Theory.

Graph View

Backlinks