The convex powerdomain in a category of posets realized by cpos

DOI10.1007/3-540-60164-3_23zbMath1502.68173OpenAlexW1552696387MaRDI QIDQ5057469

Alex K. Simpson

Publication date: 16 December 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60164-3_23

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Special categories (18B99) Continuous lattices and posets, applications (06B35)

Related Items (1)

A representable approach to finite nondeterminism

Cites Work

• A small complete category
• Monads on symmetric monoidal closed categories
• The Category-Theoretic Solution of Recursive Domain Equations
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The convex powerdomain in a category of posets realized by cpos