Topological dualities in semantics

zbMath0904.68130MaRDI QIDQ1271111

Marcello M. Bonsangue

Publication date: 4 November 1998

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

formal semanticsdenotational semanticsaxiomatic semanticsconcurrent languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (5)

Infinite intersection types ⋮ Bisimulation for probabilistic transition systems: A coalgebraic approach ⋮ Modelling higher-order dual nondeterminacy ⋮ Unnamed Item ⋮ A Duality for Algebras of Lattice-Valued Modal Logic

This page was built for publication: Topological dualities in semantics