Provable isomorphisms of types (Q4017461)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Provable isomorphisms of types
scientific article

    Statements

    Provable isomorphisms of types (English)
    0 references
    0 references
    0 references
    0 references
    16 January 1993
    0 references
    0 references
    0 references
    0 references
    0 references
    Cartesian closed category
    0 references
    positive intuitionistic propositional logic
    0 references
    models of typed lambda calculus with surjective pairing
    0 references
    types as search keys in program libraries
    0 references