Pages that link to "Item:Q5705887"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705887):
Displaying 13 items.
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Mathematical model of stored logic based computation (Q623023) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- Analytic functors between presheaf categories over groupoids (Q2253181) (← links)
- Exhaustive generation of atomic combinatorial differential operators (Q2449048) (← links)
- Monoidal indeterminates and categories of possible worlds (Q2805149) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
- (Q3316955) (← links)
- The linear-non-linear substitution 2-monad (Q5019678) (← links)
- (Q5079757) (← links)
- On operads, bimodules and analytic functors (Q5366976) (← links)
- Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences (Q6544451) (← links)
- Stabilized profunctors and stable species of structures (Q6563041) (← links)