Relating structure and power: comonadic semantics for computational resources (extended abstract)
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 2117181 (Why is no real title available?)
- A unified approach to structural limits and limits of graphs with bounded tree-depth
- Elements of finite model theory.
- Every two elementarily equivalent models have isomorphic ultrapowers
- Infinitary logics and 0-1 laws
- Modal languages and bounded fragments of predicate logic
- Relating structure and power: comonadic semantics for computational resources
- The pebbling comonad in finite model theory
Cited in
(12)- A duality theoretic view on limits of finite structures
- scientific article; zbMATH DE number 7471705 (Why is no real title available?)
- Comonadic semantics for guarded fragments
- The pebbling comonad in finite model theory
- Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky
- Graded monads and behavioural equivalence games
- A pebbling comonad for finite rank and variable logic, and an application to the equirank-variable homomorphism preservation theorem
- Whither semantics?
- scientific article; zbMATH DE number 7453972 (Why is no real title available?)
- The pebble-relation comonad in finite model theory
- Relating structure and power: Comonadic semantics for computational resources
- Relating structure and power: comonadic semantics for computational resources
This page was built for publication: Relating structure and power: comonadic semantics for computational resources (extended abstract)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1798780)
