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):
Displaying 5 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)
- (Q4218119) (← links)
- Computing with continuous objects: a uniform co-inductive approach (Q5156773) (← links)