The equivalence of bar recursion and open recursion (Q400424): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2014.07.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2023101964
@@ Property / OpenAlex ID: W2023101964 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational content of the axiom of choice
+Normal rank
@@ Property / cites work @@
+Strong normalisation for applied lambda calculi
@@ Property / cites work: Strong normalisation for applied lambda calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q5702662
@@ Property / cites work: Q5702662 / rank @@
+Normal rank
@@ Property / cites work @@
+Modified bar recursion
@@ Property / cites work: Modified bar recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
+Normal rank
@@ Property / cites work @@
+Equivalence of bar recursors in the theory of functionals of finite type
+Normal rank
@@ Property / cites work @@
+Constructive topology and combinatorics
@@ Property / cites work: Constructive topology and combinatorics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844075
@@ Property / cites work: Q2844075 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Interpretations of Analysis via Products of Selection Functions
+Normal rank
@@ Property / cites work @@
+Selection functions, bar recursion and backward induction
+Normal rank
@@ Property / cites work @@
+Sequential games and optimal strategies
@@ Property / cites work: Sequential games and optimal strategies / rank @@
+Normal rank
@@ Property / cites work @@
+The Peirce translation
@@ Property / cites work: The Peirce translation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3855167
@@ Property / cites work: Q3855167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3281965
@@ Property / cites work: Q3281965 / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Q5344164
@@ Property / cites work: Q5344164 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734436
@@ Property / cites work: Q5734436 / rank @@
+Normal rank
@@ Property / cites work @@
+On Spector's bar recursion
@@ Property / cites work: On Spector's bar recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Proving open properties by induction
@@ Property / cites work: Proving open properties by induction / rank @@
+Normal rank
@@ Property / cites work @@
+Programs from proofs using classical dependent choice
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank