Pages that link to "Item:Q3012919"
From MaRDI portal
The following pages link to Constructing Differential Categories and Deconstructing Categories of Games (Q3012919):
Displaying 6 items.
- Constructing differential categories and deconstructing categories of games (Q1951585) (← links)
- What is a categorical model of the differential and the resource \(\lambda \)-calculi? (Q2888856) (← links)
- Categorical Models for Simply Typed Resource Calculi (Q3178254) (← links)
- Game Semantics in the Nominal Model (Q3178282) (← links)
- (Q5020625) (← links)
- Pre-rigid monoidal categories (Q6170146) (← links)