Pages that link to "Item:Q2817707"
From MaRDI portal
The following pages link to When is a functional program not a functional program? (Q2817707):
Displaying 8 items.
- Continuity of Gödel's system T definable functionals via effectful forcing (Q265800) (← links)
- On the computational complexity of Longley's \(H\) functional (Q1827400) (← links)
- The sequentially realizable functionals (Q1849853) (← links)
- A stable programming language (Q2492185) (← links)
- Exercising Nuprl’s Open-Endedness (Q2819194) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity (Q6597949) (← links)