Implementing Constructive Real Analysis: Preliminary Report

Jawahar Chirimar, Douglas J. Howe. Implementing Constructive Real Analysis: Preliminary Report. In J. Paul Myers Jr., Michael J. O Donnell, editors, Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings. Volume 613 of Lecture Notes in Computer Science, pages 165-178, Springer, 1991.

Abstract

Abstract is missing.