The following pages link to (Q4145690):
Displaying 8 items.
- Realizability and intuitionistic logic (Q792319) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- A fundamental effect in computations on real numbers (Q1245217) (← links)
- Extensional realizability (Q1356980) (← links)
- Formally computing with the non-computable (Q2117773) (← links)
- Exercising Nuprl’s Open-Endedness (Q2819194) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity (Q6597949) (← links)