Constructing the real numbers in HOL

Publisher Website

1 January 1993

book chapter
Published by Elsevier

p. 145-164
https://doi.org/10.1016/b978-0-444-89880-7.50016-4

Abstract

No abstract available

This publication has 2 references indexed in Scilit:

Implementing constructive real analysis (preliminary report)
Published by Springer Nature ,1992
The real numbers as a wreath product
Advances in Mathematics, 1975