No label defined (Q3203061)

From MaRDI portal
Revision as of 04:04, 2 September 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    1989
    0 references
    probabilistic powerdomain construction on the category of inductively complete partial orders
    0 references
    partial order of continuous [0,1]-valued evaluations on the Scott topology
    0 references
    monad
    0 references
    model for Moggi's computational lambda-calculus
    0 references
    recursive domain equations
    0 references
    meta-language for programming languages with probabilistic features
    0 references
    semantics of a language with a probabilistic parallel construct
    0 references
    category of continuous partial orders
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references