No label defined (Q4540524)

From MaRDI portal
scientific article; zbMATH DE number 1770055
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1770055

    Statements

    25 July 2002
    0 references
    observable type
    0 references
    predicate transformer
    0 references
    continuation passing style
    0 references
    locally compact space
    0 references
    locally quasi-compact space
    0 references
    locale
    0 references
    prime filter
    0 references
    Sierpinski space
    0 references
    schizophrenic object
    0 references
    Stone duality
    0 references
    strong monad
    0 references
    Kleisli category
    0 references
    premonoidal category
    0 references
    prime lambda term
    0 references
    sober lambda calculus
    0 references
    theory of descriptions
    0 references
    general recursive function
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references