Pages that link to "Item:Q5898845"
From MaRDI portal
The following pages link to Logical Approaches to Computational Barriers (Q5898845):
Displaying 6 items.
- Continuity of monotone functions (Q792477) (← links)
- Coinduction for exact real number computation (Q1015372) (← links)
- Realizability interpretation of proofs in constructive analysis (Q1015381) (← links)
- Synthesis of moduli of uniform continuity by the monotone Dialectica interpretation in the proof-system \texttt{MinLog} (Q2871866) (← links)
- Lambek and Moser revisited (Q3315934) (← links)
- Inverse functions of polynomials and orthogonal polynomials as operator monotone functions (Q4417302) (← links)