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):

Displaying 4 items.

• Linear logic, coherence and dinaturality (Q685406) (← links)
• Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
• G-dinaturality. (Q1400601) (← links)
• Categorical interpretation of logical derivations and its applications in algebra (Q2452950) (← links)