Skip to main content

On coalgebra of real numbers

Dusko Pavlovic and Vaughan Pratt

Journal
E. Notes in Theor. Comp. Sci.
Pages
133–148
Volume
19
Year
1999