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.
@inproceedings{ChirimarH91,
title = {Implementing Constructive Real Analysis: Preliminary Report},
author = {Jawahar Chirimar and Douglas J. Howe},
year = {1991},
tags = {analysis},
researchr = {https://researchr.org/publication/ChirimarH91},
cites = {0},
citedby = {0},
pages = {165-178},
booktitle = {Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings},
editor = {J. Paul Myers Jr. and Michael J. O Donnell},
volume = {613},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55631-1},
}