Pages that link to "Item:Q5415647"
From MaRDI portal
The following pages link to A Functional Algorithm for Exact Real Integration with Invariant Measures (Q5415647):
Displayed 4 items.
- Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting (Q2805159) (← links)
- Coalgebraic Representation Theory of Fractals (Q3178264) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- Computing with continuous objects: a uniform co-inductive approach (Q5156773) (← links)