The following pages link to (Q4145690):
Displayed 7 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)