The following pages link to (Q5545953):
Displaying 16 items.
- The bounded functional interpretation of bar induction (Q435192) (← links)
- Delimited control operators prove double-negation shift (Q450950) (← links)
- Bar recursion over finite partial functions (Q515562) (← links)
- An axiomatic approach to self-referential truth (Q1096626) (← links)
- Equivalence of bar recursors in the theory of functionals of finite type (Q1115867) (← 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)
- (Q3887456) (← links)
- Some derived rules of intuitionistic second order arithmetic (Q4159055) (← links)
- Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen (Q4401924) (← links)
- A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM (Q4638975) (← links)
- (Q5129941) (← links)
- Classical provability of uniform versions and intuitionistic provability (Q5258475) (← links)
- Logical problems of functional interpretations (Q5957851) (← links)
