Pages that link to "Item:Q5705887"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705887):
Displayed 9 items.
- Monoidal indeterminates and categories of possible worlds (Q418809) (← 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)
- The linear-non-linear substitution 2-monad (Q5019678) (← links)
- (Q5079757) (← links)
- On operads, bimodules and analytic functors (Q5366976) (← links)