Pages that link to "Item:Q1798780"
From MaRDI portal
The following pages link to Relating structure and power: comonadic semantics for computational resources (extended abstract) (Q1798780):
Displaying 9 items.
- A pebbling comonad for finite rank and variable logic, and an application to the equirank-variable homomorphism preservation theorem (Q2133477) (← links)
- A duality theoretic view on limits of finite structures (Q2200829) (← links)
- Whither semantics? (Q2286732) (← links)
- (Q5020954) (← links)
- (Q5028470) (← links)
- Relating Structure and Power: Comonadic Semantics for Computational Resources (Q5079721) (← links)
- Relating structure and power: Comonadic semantics for computational resources (Q5158366) (← links)
- Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky (Q6612778) (← links)
- Graded monads and behavioural equivalence games (Q6649498) (← links)