Relating structure and power: Comonadic semantics for computational resources
From MaRDI portal
Publication:5158366
Recommendations
- Relating structure and power: comonadic semantics for computational resources
- Relating structure and power: comonadic semantics for computational resources (extended abstract)
- On a power of relational structures
- Cohesive powers of computable structures
- scientific article; zbMATH DE number 1912087
- scientific article; zbMATH DE number 431759
- On abstract resource semantics and computability logic
- Comonadic notions of computation
- Hypercompositional structures from the computer theory
- Structural rules and resource control in logic and computation
Cited in
(11)- Arboreal categories and equi-resource homomorphism preservation theorems
- Arboreal Categories: An Axiomatic Theory of Resources
- The pebble-relation comonad in finite model theory
- Monoidal Width
- Structure and Power: an Emerging Landscape
- Relating structure and power: comonadic semantics for computational resources (extended abstract)
- Relating structure and power: comonadic semantics for computational resources
- The pebble-relation comonad in finite model theory
- Comonadic semantics for guarded fragments
- The pebbling comonad in finite model theory
- Discrete density comonads and graph parameters
This page was built for publication: Relating structure and power: Comonadic semantics for computational resources
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5158366)
