Pages that link to "Item:Q5298120"
From MaRDI portal
The following pages link to Dialectica and Chu constructions: cousins? (Q5298120):
Displaying 8 items.
- Natural number objects in Dialectica categories (Q281151) (← links)
- Dialogue categories and chiralities (Q502131) (← links)
- Morphisms of open games (Q2134815) (← links)
- Some classes of abstract simplicial complexes motivated by module theory (Q2196332) (← links)
- A topologist's view of Chu spaces (Q2471013) (← links)
- Linear logic model of state revisited (Q4644612) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)