A certified, corecursive implementation of exact real numbers (Q817858)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A certified, corecursive implementation of exact real numbers
scientific article

    Statements

    A certified, corecursive implementation of exact real numbers (English)
    0 references
    20 March 2006
    0 references
    exact computation
    0 references
    streams of digits
    0 references
    lazy functional algorithms
    0 references
    coinductive type theories
    0 references
    interactive theorem proving
    0 references
    program and system verification
    0 references
    logical frameworks
    0 references
    Coq
    0 references

    Identifiers