Original language | Undefined |
---|---|

Title of host publication | 4th Int. Workshop on Types for Proofs and Programs (TYPES) |

Editors | E. Giménez, C. Paulin-Mohring |

Place of Publication | Berlin |

Publisher | Springer |

Pages | 46-65 |

Number of pages | 20 |

ISBN (Print) | 3-540-65137-3 |

Publication status | Published - 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.@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.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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