Relating structure and power: Comonadic semantics for computational resources

DOI10.1093/LOGCOM/EXAB048OpenAlexW3192733234MaRDI QIDQ5158366FDOQ5158366

Authors: Samson Abramsky, Nihil Shah 

Publication date: 21 October 2021

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2018/9669/

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
• scientific article; zbMATH DE number 7715471

zbMATH Keywords

finite model theorycombinatorial gamesbisimulationcomonadspebble gamescoKleisli categoryEhrenfeucht-Fraïssé gamescoalgebras of a comonad

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cited In (7)

• The pebble-relation comonad in finite model theory
• Monoidal Width
• Structure and Power: an Emerging Landscape
• The pebble-relation comonad in finite model theory
• Discrete density comonads and graph parameters
• Arboreal categories and equi-resource homomorphism preservation theorems
• Arboreal Categories: An Axiomatic Theory of Resources

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)