Retractions of dI-domains as a model for Type:Type (Q805221)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Retractions of dI-domains as a model for Type:Type
scientific article

    Statements

    Retractions of dI-domains as a model for Type:Type (English)
    0 references
    0 references
    1991
    0 references
    typed languages
    0 references
    typing
    0 references
    functional language
    0 references

    Identifiers