Abstract This paper extends the core results of discrete time infinite horizon dynamic programming to case state-dependent discounting. We obtain a condition on discount factor process under which all standard optimality can be recovered. also show that cannot significantly weakened. Our framework is general enough handle complications such as recursive preferences and unbounded rewards. Econom...

I present a generalization of the standard (full-information) model of statedependent pricing in which decisions about when to review a firm’s existing price must be made on the basis of imprecise awareness of current market conditions. The imperfect information is endogenized using a variant of the theory of “rational inattention” proposed by Sims (1998, 2003, 2006). This results in a one-para...

Partial type theories allow reasoning about recursively-defined computations using fixed-point induction. However, fixed-point induction is only sound for admissible types and not all types are admissible in sufficiently expressive dependent type theories. Previous solutions have either introduced explicit admissibility conditions on the use of fixed points, or limited the underlying type theor...

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

The basis of locomotion is the rhythmic activity of locomotor organs. During walking, rhythmic alternating bursts occur in leg motoneurons which result from the integration of signals from central pattern generators, sense organs and coordinating signals from neighboring segments. The rhythmic bursting pattern is shaped by rhythmic excitatory and inhibitory drive, as well as a long lasting (ton...