A uniform approach to domain theory in realizability models (Q4366768)

From MaRDI portal
scientific article; zbMATH DE number 1090491
Language Label Description Also known as
English
A uniform approach to domain theory in realizability models
scientific article; zbMATH DE number 1090491

    Statements

    A uniform approach to domain theory in realizability models (English)
    0 references
    0 references
    0 references
    6 April 2000
    0 references
    combinatory algebra
    0 references
    lift monad
    0 references
    divergence
    0 references
    partial morphism
    0 references
    category of assemblies
    0 references
    Kleisli category
    0 references
    subobject classifier
    0 references
    domains
    0 references
    completeness
    0 references

    Identifiers

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