## Motivation and Background

### BibTeX

@MISC{As_motivationand,

author = {We Take As and Andrej Bauer},

title = {Motivation and Background},

year = {}

}

### OpenURL

### Abstract

P, also called the enumeration operators, are characterized by the equation F (x) = [ \Phi F (y) fi fi y x \Psi 1 for all x 2 P, where y x means that y is a finite subset of x. It follows that a continuous function is completely determined by the relation n 2 F (y) for n 2 N and y N: (1) We say a continuous function F : P ! P is computable when the corresponding relation (1) is recursively enumerable. Relation (1) can also be identified with sets in P using suitable encodings. Whenever a topological space X is represented as a subspace of<F8.35

### Citations

986 | Categories for the Working Mathematician - Lane - 1971 |

442 | Foundations of Constructive Analysis - Bishop - 1967 |

179 | Complexity Theory of Real Functions - Ko - 1991 |

81 | Interpretation of analysis by means of constructive functionals of finite type - Kreisel - 1959 |

72 | Solving reflexive domain equations in a category of complete metric spaces - America, Rutten - 1989 |

50 | Domains for computation in mathematics, physics and exact real arithmetic - Edalat - 1997 |

48 | A type-theoretical alternative to ISWIM - Scott - 1993 |

44 | A domain theoretic approach to computability on the real line - Edalat, Sunderhauf - 1999 |

37 | Total sets and objects in domain theory - Berger - 1993 |

35 | Computable Analysis - Aberth - 1980 |

35 | Quasi-uniformities: Reconciling domains with metric spaces - Smyth - 1988 |

21 | PCF extended with real numbers: a domain theoretic approach to higher order exact real number computation - Escardó - 1997 |

21 | Solving Recursive Domain Equations with Enriched Categories - Wagner - 1994 |

12 | Computability on Topological Spaces by Effective Domain Representations - Blanck - 1997 |

9 | Continuous Functionals of Dependent and Transitive Types. Habilitationsschrift, Ludwig-Maximilians-Universitat Munchen - Berger - 1997 |

7 | Categories of domains with totality - Normann - 1997 |

7 | Naive Synthetic Domain Theory—A Logical Approach - Reus, Streicher - 1994 |

6 |
De Clercq D, Aerts P. Biomechanical analysis of the stance phase during barefoot and shod running
- Wit
(Show Context)
Citation Context ...s. However, no clear relationship between shoe habits and injury risk has been established [1]. Many studies have examined barefoot versus shod running kinematics, but the results have been equivocal =-=[2,3]-=-. A factor in the inconsistent results could be the relationship between foot structure and function. For example, Cobb et al. demonstrated significant walking gait kinematic differences between parti... |

5 | Continuous lattices", In: Toposes, Algebraic geometry and Logic - Scott - 1972 |

4 |
Foot strike patterns and collision forces in habitually barefoot versus shod runners. Nature 463
- Lieberman, Venkadesan, et al.
- 2010
(Show Context)
Citation Context ...s. However, no clear relationship between shoe habits and injury risk has been established [1]. Many studies have examined barefoot versus shod running kinematics, but the results have been equivocal =-=[2,3]-=-. A factor in the inconsistent results could be the relationship between foot structure and function. For example, Cobb et al. demonstrated significant walking gait kinematic differences between parti... |

3 | Developing Theories of Types and Computability, thesis proposal - Birkedal - 1998 |

2 | A Cartesian Closed Category for Topology", General Topology and its - Edgar - 1976 |

2 | Model C for Partial Continuous Functionals", in: Logic Colloquium - Ershov - 1976 |

2 | Calculus in Coinductive Form", to appear in - Escard'o, Pavlovi'c - 1998 |

2 | Maximal Limit Spaces, Powerspaces, and Scott Domains - Hoover - 1995 |

2 | Data Types as Lattices", in - Scott - 1975 |

2 | On Effective Topological Spaces", The - Spreen - 1998 |

2 | Governing the networks of the information society: Prospects and limits of policy in a complex technological system. Quello Center for Telecommunication Management and Law (Working paper - Bauer - 2004 |

1 | Type Theory via Exact Categories ", to appear in - Birkedal, Rosolini, et al. - 1998 |

1 | Countable Functionals", in: Constructivity in Mathematics, edited by - Kleene - 1959 |

1 |
Risk factors for overuse injuries in runners
- Wen
(Show Context)
Citation Context ...r is intended to prevent lower extremity injuries caused by excessive foot-ground impacts and faulty mechanics. However, no clear relationship between shoe habits and injury risk has been established =-=[1]-=-. Many studies have examined barefoot versus shod running kinematics, but the results have been equivocal [2,3]. A factor in the inconsistent results could be the relationship between foot structure a... |

1 |
F: The effect of lowmobile foot posture on multi-segment medial foot model gait kinematics. Gait Posture 2009, 30:334-339. doi:10.1186/1757-1146-5-S1-O2 Cite this article as: Bauer et al.: The effect of footwear on multi-segment foot kinematics during run
- Cobb, Tis, et al.
(Show Context)
Citation Context ...ture and function. For example, Cobb et al. demonstrated significant walking gait kinematic differences between participants with typical and low arch foot structures using a multi-segment foot model =-=[4]-=-. The purpose of this study was to investigate effects of footwear on multi-segment foot kinematics during running in participants with low arch structure. Materials and methods Five healthy participa... |

1 | 2004b). Prospects and limits of regulating network utilies, lecture notes, available http://www.msu.edu/~bauerj/enarson_lecture.pdf - Bauer |