Mario Román

Type Theory for unbiased monoidal categories

Graph View

Backlinks