Bar recursion over finite partial functions (Q515562): Difference between revisions

@@ Property / cites work @@
+Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
+Normal rank
@@ Property / cites work @@
+Q2776806
@@ Property / cites work: Q2776806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215634
@@ Property / cites work: Q4215634 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational content of the axiom of choice
+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 @@
+Exhaustible sets in higher-type computation
@@ Property / cites work: Exhaustible sets in higher-type computation / rank @@
+Normal rank
@@ Property / cites work @@
+BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS
@@ Property / cites work: BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q5545953
@@ Property / cites work: Q5545953 / 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 @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / 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 @@
+The equivalence of bar recursion and open recursion
+Normal rank
@@ Property / cites work @@
+Q5613181
@@ Property / cites work: Q5613181 / rank @@
+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