Equational type logic (Q752689)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Equational type logic
scientific article

    Statements

    Equational type logic (English)
    0 references
    1990
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    partiality
    0 references
    type polymorphism
    0 references
    dependent types
    0 references
    type algebras
    0 references
    type assignment
    0 references
    equational type logic
    0 references
    conditional term rewriting systems
    0 references
    confluence
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references