@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; null ; Conference date: 01-12-1996 Through 01-12-1996",

year = "1996",

month = dec,

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",

address = "Netherlands",

}