Pages that link to "Item:Q579398"

The following pages link to On natural transformations of distinguished functors and their superpositions in certain closed categories (Q579398):

Displayed 3 items.

• Linear logic, coherence and dinaturality (Q685406) ‎ (← links)
• Natural deduction and coherence for weakly distributive categories (Q1126244) ‎ (← links)
• G-dinaturality. (Q1400601) ‎ (← links)