Pages that link to "Item:Q5079721"
From MaRDI portal
The following pages link to Relating Structure and Power: Comonadic Semantics for Computational Resources (Q5079721):
Displaying 13 items.
- Relating structure and power: comonadic semantics for computational resources (extended abstract) (Q1798780) (← links)
- Polyadic sets and homomorphism counting (Q2094593) (← links)
- Structure and Power: an Emerging Landscape (Q5038563) (← links)
- Relating structure and power: Comonadic semantics for computational resources (Q5158366) (← links)
- Arboreal categories and equi-resource homomorphism preservation theorems (Q6131200) (← links)
- Arboreal Categories: An Axiomatic Theory of Resources (Q6135784) (← links)
- The pebble-relation comonad in finite model theory (Q6563056) (← links)
- Game comonads \& generalised quantifiers (Q6597958) (← links)
- A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures (Q6612780) (← links)
- Stone duality for relations (Q6612781) (← links)
- Monadic monadic second order logic (Q6612795) (← links)
- Structure in machine learning (Q6612806) (← links)
- The pebble-relation comonad in finite model theory (Q6649442) (← links)