EEMCS

Cederquist, J.G. and Coquand, T. and Negri, S. (1998) The Hahn-Banach Theorem in Type Theory. In: Twenty-five years of Constructive Type Theory. Oxford Univ. Press, Oxford, UK, pp. 57-72. ISBN 0-19-850127-7

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