Total objects in inductively defined types (Q1374674)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Total objects in inductively defined types
scientific article

    Statements

    Total objects in inductively defined types (English)
    0 references
    0 references
    0 references
    10 December 1997
    0 references
    interpretations of inductively defined types
    0 references
    coherence spaces with totality
    0 references
    positive inductive definition
    0 references
    semantical analysis
    0 references
    type streams
    0 references
    domains with totality
    0 references

    Identifiers