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 Sat May 11 14:52:15 2024 CEST.