An Implementation of the Heine-Borel Covering Theorem in Type Theory

J.G. Cederquist

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publication4th Int. Workshop on Types for Proofs and Programs (TYPES)
    EditorsE. Giménez, C. Paulin-Mohring
    Place of PublicationBerlin
    PublisherSpringer
    Pages46-65
    Number of pages20
    ISBN (Print)3-540-65137-3
    Publication statusPublished - Dec 1996

    Keywords

    • EWI-1123

    Cite this

    Cederquist, J. G. (1996). An Implementation of the Heine-Borel Covering Theorem in Type Theory. In E. Giménez, & C. Paulin-Mohring (Eds.), 4th Int. Workshop on Types for Proofs and Programs (TYPES) (pp. 46-65). Berlin: Springer.
    Cederquist, J.G. / An Implementation of the Heine-Borel Covering Theorem in Type Theory. 4th Int. Workshop on Types for Proofs and Programs (TYPES). editor / E. Giménez ; C. Paulin-Mohring. Berlin : Springer, 1996. pp. 46-65
    @inproceedings{f6df3615a26b46e6ac6782863f377794,
    title = "An Implementation of the Heine-Borel Covering Theorem in Type Theory",
    keywords = "EWI-1123",
    author = "J.G. Cederquist",
    note = "Imported from DIES",
    year = "1996",
    month = "12",
    language = "Undefined",
    isbn = "3-540-65137-3",
    pages = "46--65",
    editor = "E. Gim{\'e}nez and C. Paulin-Mohring",
    booktitle = "4th Int. Workshop on Types for Proofs and Programs (TYPES)",
    publisher = "Springer",

    }

    Cederquist, JG 1996, An Implementation of the Heine-Borel Covering Theorem in Type Theory. in E Giménez & C Paulin-Mohring (eds), 4th Int. Workshop on Types for Proofs and Programs (TYPES). Springer, Berlin, pp. 46-65.

    An Implementation of the Heine-Borel Covering Theorem in Type Theory. / Cederquist, J.G.

    4th Int. Workshop on Types for Proofs and Programs (TYPES). ed. / E. Giménez; C. Paulin-Mohring. Berlin : Springer, 1996. p. 46-65.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - An Implementation of the Heine-Borel Covering Theorem in Type Theory

    AU - Cederquist, J.G.

    N1 - Imported from DIES

    PY - 1996/12

    Y1 - 1996/12

    KW - EWI-1123

    M3 - Conference contribution

    SN - 3-540-65137-3

    SP - 46

    EP - 65

    BT - 4th Int. Workshop on Types for Proofs and Programs (TYPES)

    A2 - Giménez, E.

    A2 - Paulin-Mohring, C.

    PB - Springer

    CY - Berlin

    ER -

    Cederquist JG. An Implementation of the Heine-Borel Covering Theorem in Type Theory. In Giménez E, Paulin-Mohring C, editors, 4th Int. Workshop on Types for Proofs and Programs (TYPES). Berlin: Springer. 1996. p. 46-65