Type theory for a strong monoidal endofunctor

Last updated Oct 14, 2024