Skip to main content

Relating Structure and Power: Comonadic Semantics for Computational Resources

Samson Abramsky and Nihil Shah

Address
Dagstuhl‚ Germany
Annote
Keywords: Finite model theory‚ combinatorial games‚ Ehrenfeucht−Fraissé games‚ pebble games‚ bisimulation‚ comonads‚ coKleisli category‚ coalgebras of a comonad
Book Title
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
Editor
Dan Ghica and Achim Jung
ISBN
978−3−95977−088−0
ISSN
1868−8969
Pages
2:1–2:17
Publisher
Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik
Series
Leibniz International Proceedings in Informatics (LIPIcs)
Volume
119
Year
2018