Pages that link to "Item:Q1015381"
From MaRDI portal
The following pages link to Realizability interpretation of proofs in constructive analysis (Q1015381):
Displayed 5 items.
- Proofs, programs, processes (Q693063) (← links)
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- Program extraction in exact real arithmetic (Q5740678) (← links)
- (Q5856423) (← links)