The following pages link to (Q3281965):
Displayed 31 items.
- The equivalence of bar recursion and open recursion (Q400424) (← links)
- Bar recursion over finite partial functions (Q515562) (← links)
- Notes on computable analysis (Q519888) (← links)
- Computability in higher types, P\(\omega\) and the completeness of type assignment (Q579245) (← links)
- Sheaf toposes for realizability (Q938241) (← links)
- Partial morphisms in categories of effective objects (Q1109126) (← links)
- Total sets and objects in domain theory (Q1210138) (← links)
- Computability concepts for programming language semantics (Q1235972) (← links)
- Partial enumerable and finite functionals (Q1254996) (← links)
- Some purely topological models for intuitionistic analysis (Q1302294) (← links)
- Computable functionals of finite types (Q1844827) (← links)
- Polymorphic extensions of simple type structures. With an application to a bar recursive minimization (Q1919547) (← links)
- Realizing Brouwer's sequences (Q1923574) (← links)
- Computation on abstract data types. The extensional approach, with an application to streams (Q1923575) (← links)
- Game semantics approach to higher-order complexity (Q2396718) (← links)
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces (Q2682909) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- R.E. degrees of continuous functionals (Q3043133) (← links)
- Base-Complexity Classifications of QCB $$_0$$ 0 -Spaces (Q3195692) (← links)
- Well Quasi-orders and the Functional Interpretation (Q3295153) (← links)
- Internal Density Theorems for Hierarchies of Continuous Functionals (Q3507463) (← links)
- (Q4141228) (← links)
- Nonflatness and totality (Q4611200) (← links)
- A Relationship between Equilogical Spaces and Type Two Effectivity (Q4917046) (← links)
- THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING (Q5000259) (← links)
- Continuous and monotone machines (Q5089226) (← links)
- (Q5129941) (← links)
- Feferman on Computability (Q5214780) (← links)
- On the Computability of the Fan Functional (Q5214781) (← links)
- La théorie des fonctions récursives et ses applications. (Exposé d'information générale) (Q5536266) (← links)
- (Q5646882) (← links)