Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 05:54:54 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||