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