A monadic, functional implementation of real numbers.

Mon, 01 Jan 2007 00:00:00 +0100

Russell O'Connor:
A monadic, functional implementation of real numbers. Math. Struct. Comput. Sci. 17(1): 129-159 (2007)