The following pages link to (Q4218119):
Displayed 9 items.
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- The constructive reals as a Java library (Q1779561) (← links)
- Integration in Real PCF (Q1854356) (← links)
- An abstract data type for real numbers (Q1960529) (← links)
- First-Order Universality for Real Programs (Q3576032) (← links)
- Computability of Continuous Solutions of Higher-Type Equations (Q3576051) (← links)
- A Computational Interpretation of Forcing in Type Theory (Q5253929) (← links)
- A Functional Algorithm for Exact Real Integration with Invariant Measures (Q5415647) (← links)
- A domain-theoretic framework for robustness analysis of neural networks (Q6149907) (← links)