Observationally-induced algebras in Domain Theory

DOI10.2168/LMCS-10(3:18)2014zbMath1342.68192arXiv1409.1544MaRDI QIDQ2921115

Thomas Streicher, Klaus Keimel, Ingo Battenfeld

Publication date: 30 September 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1409.1544

zbMATH Keywords

powerdomainsdenotational semanticsdomain theorycomputational effects

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Categorical semantics of formal languages (18C50)

Related Items (3)

Non-deterministic effects in a realizability model ⋮ Combining algebraic effect descriptions using the tensor of complete lattices ⋮ Unnamed Item

Uses Software

• Haskell

This page was built for publication: Observationally-induced algebras in Domain Theory