Items where Author is "Finster, Eric"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: MPIM Preprint
Number of items: 1.

MPIM Preprint

Finster, Eric and Reutter, David and Vicary, Jamie (2020) A type theory for strictly unital $\infty$-categories. MPIM Preprint Series 2020 (60).

This list was generated on Tue Dec 3 19:47:05 2024 CET.