Relating structure and power: comonadic semantics for computational resources (extended abstract)
type: Item
instance of: scholarly article
title: Relating structure and power: comonadic semantics for computational resources (extended abstract)
DOI: 10.1007/978-3-030-00389-0_1
author: Samson Abramsky
author: Nihil Shah
publication date: 2018-10-23T00:00:00Z
full work available at URL: https://arxiv.org/abs/1806.09031
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 6962928
MaRDI profile type: Publication
OpenAlex ID: W2810685260
cites work: Q5144676
cites work: Relating Structure and Power: Comonadic Semantics for Computational Resources
cites work: Modal languages and bounded fragments of predicate logic
cites work: Q4828516
cites work: Infinitary logics and 0-1 laws
cites work: Elements of finite model theory.
cites work: A Unified Approach to Structural Limits and Limits of Graphs with Bounded Tree-Depth
cites work: Every two elementarily equivalent models have isomorphic ultrapowers
description: scientific article; zbMATH DE number 6962928