The order-K-ification monads
From MaRDI portal
Publication:6149960
DOI10.1017/s0960129523000403OpenAlexW4390055335MaRDI QIDQ6149960
Hualin Miao, Qing-Guo Li, Unnamed Author
Publication date: 5 March 2024
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129523000403
Cites Work
- Properly injective spaces and function spaces
- Adjoint functors and triples
- Monads on symmetric monoidal closed categories
- Domain-Theoretic Foundations of Functional Programming
- Data Types as Lattices
- A Powerdomain Construction
- Continuous Lattices and Domains
- Non-Hausdorff Topology and Domain Theory
- Unnamed Item
- 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 order-K-ification monads