Induction and recursion on the partial real line with applications to Real PCF (Q1274810)

From MaRDI portal
Revision as of 21:45, 17 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Induction and recursion on the partial real line with applications to Real PCF
scientific article

    Statements

    Induction and recursion on the partial real line with applications to Real PCF (English)
    0 references
    12 January 1999
    0 references
    induction
    0 references
    coinduction
    0 references
    exact real number computation
    0 references
    domain theory
    0 references
    real PCF
    0 references
    universality
    0 references

    Identifiers