Type reconstruction in F<sub>ω</sub> (Q4347376)

From MaRDI portal
scientific article; zbMATH DE number 1045685
Language Label Description Also known as
English
Type reconstruction in F<sub>ω</sub>
scientific article; zbMATH DE number 1045685

    Statements

    Type reconstruction in F<sub>ω</sub> (English)
    0 references
    0 references
    24 March 1998
    0 references
    Curry style
    0 references
    Girard's calculus \(F_ \omega\)
    0 references
    type assignment system for pure lambda terms
    0 references
    strongly normalizable term
    0 references
    partial recursive function
    0 references
    type reconstruction problem
    0 references

    Identifiers