Pages that link to "Item:Q3564345"
From MaRDI portal
The following pages link to Towards a typed Geometry of Interaction (Q3564345):
Displaying 9 items.
- Type interaction models and the rule of six (Q868601) (← links)
- Partial traces on additive categories (Q2134829) (← links)
- (Q2778827) (← links)
- From geometry of interaction to denotational semantics (Q2849878) (← links)
- A Representation Theorem for Unique Decomposition Categories (Q3178284) (← links)
- On geometry of interaction for polarized linear logic (Q4961719) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter (Q5111200) (← links)
- Geometry of synthesis III (Q5408555) (← links)