Pages that link to "Item:Q678833"
From MaRDI portal
The following pages link to Categories for computation in context and unified logic (Q678833):
Displaying 5 items.
- Skew-monoidal categories and bialgebroids. (Q456777) (← links)
- Modelling environments in call-by-value programming languages. (Q1427853) (← links)
- Higher-order algebras and coalgebras from parameterized endofunctors (Q2919455) (← links)
- (Q3138536) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)