The following pages link to Nabla Algebras and Chu Spaces (Q3612503):
Displaying 5 items.
- Coalgebras, Chu spaces, and representations of physical systems (Q358691) (← links)
- Big toy models. Representing physical systems as Chu spaces (Q383003) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Generalised powerlocales via relation lifting (Q4911306) (← links)