Continuous monads

DOI10.1016/j.entcs.2020.09.009OpenAlexW4234659705WikidataQ113317299 ScholiaQ113317299MaRDI QIDQ2133476

Ernie Manes

Publication date: 29 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2020.09.009

zbMATH Keywords

continuous latticecompletely distributive latticeconditional supremacontinuous monadScott monad

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• A class of fuzzy theories
• Filter Monads, Continuous Lattices and Closure Systems
• Free Completely Distributive Lattices
• Completely Distributive Complete Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Continuous monads