A higher-order unification algorithm for inductive types and dependent types (Q1362142)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A higher-order unification algorithm for inductive types and dependent types
scientific article

    Statements

    A higher-order unification algorithm for inductive types and dependent types (English)
    0 references
    0 references
    1997
    0 references
    lambda calculus
    0 references
    higher-order logic
    0 references
    logical framework
    0 references
    inductive types
    0 references

    Identifiers