Complexity of Type Inference (Q3000286)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Complexity of Type Inference
scientific article

    Statements

    Complexity of Type Inference (English)
    0 references
    0 references
    0 references
    18 May 2011
    0 references
    0 references
    0 references
    0 references
    0 references
    typed lambda calculus
    0 references
    simple types
    0 references
    typability
    0 references
    complexity
    0 references
    PTIME
    0 references
    0 references