Pages that link to "Item:Q5145368"
From MaRDI portal
The following pages link to Species, Profunctors and Taylor Expansion Weighted by SMCC (Q5145368):
Displaying 6 items.
- Taylor expansion, finiteness and strategies (Q2133165) (← links)
- Weighted models for higher-order computation (Q2216134) (← links)
- (Q5028454) (← links)
- On the Taylor expansion of probabilistic λ-terms (Q5089013) (← links)
- Stabilized profunctors and stable species of structures (Q6563041) (← links)
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings (Q6649497) (← links)