EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Giménez, E.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

1996

Cederquist, J.G. (1996) An Implementation of the Heine-Borel Covering Theorem in Type Theory. In: 4th Int. Workshop on Types for Proofs and Programs (TYPES), Aussois, France. pp. 46-65. Springer-Verlag. ISBN 3-540-65137-3

This list was generated on Mon May 29 00:45:44 CEST 2017.