Pages that link to "Item:Q998318"
From MaRDI portal
The following pages link to Cartesian closed Dialectica categories (Q998318):
Displaying 5 items.
- Natural number objects in Dialectica categories (Q281151) (← links)
- Functional interpretations of linear and intuitionistic logic (Q964504) (← links)
- The Dialectica interpretation of first-order classical affine logic (Q3413928) (← links)
- (Q5155686) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)