Pages that link to "Item:Q1271111"
From MaRDI portal
The following pages link to Topological dualities in semantics (Q1271111):
Displaying 8 items.
- Duality in specification languages: A lattice-theoretical approach (Q913495) (← links)
- Modelling higher-order dual nondeterminacy (Q938301) (← links)
- Alternating states for dual nondeterminism in imperative programming (Q974118) (← links)
- Unification of four versions of program semantics (Q1271849) (← links)
- Infinite intersection types (Q1887155) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- A Duality for Algebras of Lattice-Valued Modal Logic (Q3638290) (← links)
- (Q4555333) (← links)