The following pages link to (Q4281259):
Displaying 6 items.
- A classical view of the intuitionistic continuum (Q1923572) (← links)
- Realizing Brouwer's sequences (Q1923574) (← links)
- Formally computing with the non-computable (Q2117773) (← links)
- Kolmogorov Complexity in Perspective Part I: Information Theory and Randomness (Q5250214) (← links)
- Analyzing realizability by Troelstra's methods (Q5957857) (← links)
- \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity (Q6597949) (← links)
