Pages that link to "Item:Q5111312"
From MaRDI portal
The following pages link to List Objects with Algebraic Structure (Q5111312):
Displayed 7 items.
- Actads (Q2169098) (← links)
- (Q3384908) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- (Q5089005) (← links)
- (Q5101336) (← links)
- (Q6068935) (← links)
- An algebraic theory for shared-state concurrency (Q6176562) (← links)