Skip to main content

The continuum as a final coalgebra

Dusko Pavlovic and Vaughan Pratt

Journal
Theor. Comp. Sci.
Number
1–2
Pages
105–122
Volume
280
Year
2002