EEMCS

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

EEMCS EPrints Service


Editor: Coppo, M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

1995

Cederquist, J.G. and Negri, S. (1995) A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals. In: 3rd Int. Workshop on Types for Proofs and Programs (TYPES), Torino, Italy. pp. 62-75. Springer-Verlag. ISBN 3-540-61780-9

This list was generated on Fri May 26 00:15:06 CEST 2017.