Items where Author is "Vicary, Jamie"

[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 Mon May 13 07:41:49 2024 CEST.