![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 001-dist-law-set.pdf | 2024-05-26 16:37 | 311K | |
| 002-rho-topos.pdf | 2024-06-20 15:16 | 386K | |
| 003-internal-semantics.pdf | 2024-07-26 14:00 | 582K | |
| 004-categorical-internalized.pdf | 2024-07-26 14:04 | 483K | |
| 005-overview.pdf | 2024-08-08 09:44 | 471K | |