Pages that link to "Item:Q1320337"

The following pages link to An internal language for autonomous categories (Q1320337):

Displaying 10 items.

• Natural number objects in Dialectica categories (Q281151) (← links)
• Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851) (← links)
• The logic of message-passing (Q923880) (← links)
• Gödel's system \(\mathcal T\) revisited (Q960861) (← links)
• An internal language for autonomous categories (Q1320337) (← links)
• Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
• GS·Λ Theories (Q2842817) (← links)
• The Power of Closed Reduction Strategies (Q2866800) (← links)
• Covert Movement in Logical Grammar (Q3013021) (← links)
• The syntactic side of autonomous categories enriched over generalised metric spaces (Q6178714) (← links)