Pages that link to "Item:Q1015381"
From MaRDI portal
The following pages link to Realizability interpretation of proofs in constructive analysis (Q1015381):
Displaying 18 items.
- Proofs, programs, processes (Q693063) (← links)
- Continuity of monotone functions (Q792477) (← links)
- Well-foundedness in realizability (Q850808) (← links)
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- A realizability interpretation for classical analysis (Q1762729) (← links)
- The semantics of realizability for the constructive set theory based on hyperarithmetical predicates (Q2403574) (← links)
- Using theory interpretation to mechanise the reals in a theorem prover (Q2703760) (← links)
- Realizability semantics of the early period of Markov's constructivism (history and problems) (Q2751811) (← links)
- Synthesis of moduli of uniform continuity by the monotone Dialectica interpretation in the proof-system \texttt{MinLog} (Q2871866) (← links)
- Realisability and adequacy for (co)induction (Q2917339) (← links)
- (Q3532205) (← links)
- From Coinductive Proofs to Exact Real Arithmetic (Q3644745) (← links)
- (Q4861177) (← links)
- Verified Real Asymptotics in Isabelle/HOL (Q5120486) (← links)
- Realizability Models Separating Various Fan Theorems (Q5326379) (← links)
- Program extraction in exact real arithmetic (Q5740678) (← links)
- (Q5856423) (← links)
- Logical Approaches to Computational Barriers (Q5898845) (← links)