The following pages link to Sheaf models for choice sequences (Q798316):
Displaying 5 items.
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- Extended bar induction in applicative theories (Q753810) (← links)
- Smooth spaces versus continuous spaces in models for synthetic differential geometry (Q790924) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- (Q5109510) (← links)
