Relating structure and power: comonadic semantics for computational resources (extended abstract)

DOI10.1007/978-3-030-00389-0_1OpenAlexW2810685260MaRDI QIDQ1798780

Nihil Shah, Samson Abramsky

Publication date: 23 October 2018

Full work available at URL: https://arxiv.org/abs/1806.09031

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (5)

A pebbling comonad for finite rank and variable logic, and an application to the equirank-variable homomorphism preservation theorem ⋮ A duality theoretic view on limits of finite structures ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Whither semantics?

Cites Work

• Unnamed Item
• Unnamed Item
• Elements of finite model theory.
• Infinitary logics and 0-1 laws
• Modal languages and bounded fragments of predicate logic
• Every two elementarily equivalent models have isomorphic ultrapowers
• Relating Structure and Power: Comonadic Semantics for Computational Resources
• A Unified Approach to Structural Limits and Limits of Graphs with Bounded Tree-Depth

This page was built for publication: Relating structure and power: comonadic semantics for computational resources (extended abstract)