Pages that link to "Item:Q1320337"
From MaRDI portal
The following pages link to An internal language for autonomous categories (Q1320337):
Displaying 18 items.
- Natural number objects in Dialectica categories (Q281151) (← links)
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Internal diagrams and archetypal reasoning in category theory (Q382414) (← links)
- Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851) (← links)
- A note on natural numbers objects in monoidal categories (Q749645) (← 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\(\cdot \Lambda \) theories: a syntax for higher-order graphs (Q2842817) (← links)
- The power of closed reduction strategies (Q2866800) (← links)
- Covert Movement in Logical Grammar (Q3013021) (← links)
- Lilac: a functional programming language based on linear logic (Q4764609) (← links)
- (Q4870808) (← links)
- Partial Recursive Functions and Finality (Q4922089) (← links)
- (Q5013825) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- The syntactic side of autonomous categories enriched over generalised metric spaces (Q6178714) (← links)