Mario Román

Search

Search IconIcon to open search

Strict monoidal categories and coherence

Last updated Oct 3, 2022