Pages that link to "Item:Q5144687"
From MaRDI portal
The following pages link to Quantifiers on languages and codensity monads (Q5144687):
Displaying 9 items.
- Languages for monoidal categories (Q584380) (← links)
- A duality theoretic view on limits of finite structures (Q2200829) (← links)
- Whither semantics? (Q2286732) (← links)
- Codensity, profiniteness and algebras of semiring-valued measures (Q2318383) (← links)
- Computational Semantics for Monadic Quantifiers (Q4236059) (← links)
- Quantifiers on languages and codensity monads (Q5006459) (← links)
- Calculational design of a regular model checker by abstract interpretation (Q5896884) (← links)
- A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures (Q6612780) (← links)
- Monadic monadic second order logic (Q6612795) (← links)