On the unification problem for Cartesian closed categories (Q4358059)

From MaRDI portal
scientific article; zbMATH DE number 1067274
Language Label Description Also known as
English
On the unification problem for Cartesian closed categories
scientific article; zbMATH DE number 1067274

    Statements

    On the unification problem for Cartesian closed categories (English)
    0 references
    0 references
    0 references
    0 references
    1997
    0 references
    undecidability
    0 references
    Cartesian closed categories
    0 references
    semantics of programming languages
    0 references
    unification problem
    0 references
    unification modulo the linear isomorphisms
    0 references
    NP-complete
    0 references
    matching
    0 references

    Identifiers

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