Items where Author is "Finster, Eric"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Finster, Eric and Reutter, David and Vicary, Jamie (2020) A type theory for strictly unital $\infty$-categories. MPIM Preprint Series 2020 (60).
Finster, Eric and Reutter, David and Vicary, Jamie (2020) A type theory for strictly unital $\infty$-categories. MPIM Preprint Series 2020 (60).