The following pages link to (Q5567860):
Displaying 27 items.
- Notes on computable analysis (Q519888) (← links)
- Metric spaces in synthetic topology (Q651311) (← links)
- Equational theories for inductive types (Q678762) (← links)
- On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis (Q1102283) (← links)
- Algebraic specifiability of data types with minimal computable parameters (Q1183572) (← links)
- Total sets and objects in domain theory (Q1210138) (← links)
- Computability concepts for programming language semantics (Q1235972) (← links)
- Topological variants of the continuity theorem for mappings and related theorems (Q1245942) (← links)
- Constructive operators of finite types (Q1245943) (← links)
- Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I (Q1295392) (← links)
- Semantics vs syntax vs computations: Machine models for type-2 polynomial-time bounded functionals (Q1362334) (← links)
- Polymorphic extensions of simple type structures. With an application to a bar recursive minimization (Q1919547) (← links)
- Exploring mathematical objects from custom-tailored mathematical universes (Q2080581) (← links)
- Computability of simple games: A characterization and application to the core (Q2482640) (← links)
- The concept of effective method applied to computational problems of linear algebra (Q2546145) (← links)
- A Real Number Structure that is Effectively Categorical (Q4243908) (← links)
- When is an automatic set an additive basis? (Q4577830) (← links)
- Some results related to the continuity problem (Q4593245) (← links)
- What is a universal higher-order programming language? (Q4630303) (← links)
- Generalizing Computability Theory to Abstract Algebras (Q4637219) (← links)
- Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis (Q4916185) (← links)
- Towards Computability over Effectively Enumerable Topological Spaces (Q4918009) (← links)
- (Q5094901) (← links)
- (Q5518362) (← links)
- La théorie des fonctions récursives et ses applications. (Exposé d'information générale) (Q5536266) (← links)
- An Effective Operator, Continuous but not Partial Recursive (Q5537606) (← links)
- On Creative Sets and Indices of Partial Recursive Functions (Q5547580) (← links)
