Relating structure and power: Comonadic semantics for computational resources

DOI10.1093/logcom/exab048OpenAlexW3192733234MaRDI QIDQ5158366

Nihil Shah, Samson Abramsky

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/

zbMATH Keywords

comonadsbisimulationcombinatorial gamesfinite model theoryEhrenfeucht-Fraïssé gamespebble gamescoKleisli categorycoalgebras of a comonad

Mathematics Subject Classification ID

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

Related Items (5)

Structure and Power: an Emerging Landscape ⋮ Monoidal Width ⋮ Arboreal categories and equi-resource homomorphism preservation theorems ⋮ Arboreal Categories: An Axiomatic Theory of Resources ⋮ Discrete density comonads and graph parameters

This page was built for publication: Relating structure and power: Comonadic semantics for computational resources