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 Jan 28 17:03:44 2025 CET.