The following pages link to (Q5344164):
Displaying 23 items.
- THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING (Q5000259) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- (Q5028422) (← links)
- Continuous and monotone machines (Q5089226) (← links)
- A note on equality in finite‐type arithmetic (Q5108108) (← links)
- (Q5129941) (← links)
- Explaining Deductive Inference (Q5213606) (← links)
- Feferman on Computability (Q5214780) (← links)
- On the Computability of the Fan Functional (Q5214781) (← links)
- Constructive forcing, CPS translations and witness extraction in Interactive realizability (Q5360214) (← links)
- Homotopical patch theory (Q5371976) (← links)
- La théorie des fonctions récursives et ses applications. (Exposé d'information générale) (Q5536266) (← links)
- (Q5539743) (← links)
- (Q5545953) (← links)
- (Q5646882) (← links)
- Quantitative continuity and Computable Analysis in Coq (Q5875440) (← links)
- Functional Interpretations of Intuitionistic Linear Logic (Q5902221) (← links)
- Hardwiring truth in functional interpretations (Q6041142) (← links)
- Program extraction from classical proofs (Q6064277) (← links)
- On computational properties of Cauchy problems generated by accretive operators (Q6148761) (← links)
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)
- A direct computational interpretation of second-order arithmetic via update recursion (Q6649499) (← links)
- Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions (Q6658123) (← links)
