Pages that link to "Item:Q1115867"
From MaRDI portal
The following pages link to Equivalence of bar recursors in the theory of functionals of finite type (Q1115867):
Displaying 8 items.
- The equivalence of bar recursion and open recursion (Q400424) (← links)
- Polymorphic extensions of simple type structures. With an application to a bar recursive minimization (Q1919547) (← links)
- Characterising Brouwer's continuity by bar recursion on moduli of continuity (Q2219099) (← links)
- Equivalence of bar induction and bar recursion for continuous functions with continuous moduli (Q2417961) (← links)
- On Spector's bar recursion (Q2910991) (← links)
- A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM (Q4638975) (← links)
- (Q5144612) (← links)
- A note on Spector's quantifier-free rule of extensionality (Q5931215) (← links)