Mario Román

Type theory for a strong monoidal endofunctor

type-theory-for-a-strong-monoidal-endofunctor

Graph View

Backlinks