Finster, Eric and Reutter, David and Vicary, Jamie (2020) A type theory for strictly unital $\infty$-categories. MPIM Preprint Series 2020 (60).
Preview |
Text
preprint_2020_60.pdf Download (664kB) | Preview |
| Item Type: | MPIM Preprint |
|---|---|
| Divisions: | Research > Preprints |
| Depositing User: | This Admin |
| Date Deposited: | 23 Dec 2020 19:46 |
| Last Modified: | 23 Dec 2020 19:46 |
| URI: | https://archive.mpim-bonn.mpg.de/id/eprint/2428 |
Actions (login required)
 |
View Item |