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.