The following pages link to Integration in Real PCF (Q1854356):
Displaying 12 items.
- Algebraic information theory for binary channels (Q964486) (← links)
- Induction and recursion on the partial real line with applications to Real PCF (Q1274810) (← links)
- Quantitative semantics, topology, and possibility measures (Q1295211) (← links)
- The generalized Riemann integral on locally compact spaces (Q1295212) (← links)
- PCF extended with real numbers (Q1349926) (← links)
- Semi-decidability of may, must and probabilistic testing in a higher-type setting (Q2805159) (← links)
- Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring (Q2988648) (← links)
- An abstract data type for real numbers (Q4571945) (← links)
- A Functional Algorithm for Exact Real Integration with Invariant Measures (Q5415647) (← links)
- Recursive solution of initial value problems with temporal discretization (Q6069850) (← links)
- A domain-theoretic framework for robustness analysis of neural networks (Q6149907) (← links)
- Semantics, specification logic, and Hoare logic of exact real computation (Q6563064) (← links)
