John Harrison. Constructing the real numbers in HOL. In Luc J. M. Claesen, Michael J. C. Gordon, editors, Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL 92, Leuven, Belgium, 21-24 September 1992. Volume A-20 of IFIP Transactions, pages 145-164, North-Holland/Elsevier, 1992.
No references recorded for this publication.
No citations of this publication recorded.