Risk-sensitive control has received considerable interest since the seminal work of Howard and Matheson (Howard Matheson, 1971/72) because its ability to account for fluctuations about mean, connection with H∞ control, application financial mathematics. In this article we attempt put together a comprehensive survey on research done ergodic risk-sensitive over last four decades.

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

We investigate further on the correspondence between branes on a Calabi-Yau in the large volume limit and in the orbifold limit. We conjecture a new procedure which improves computationally the McKay correspondence and prove it in a non trivial example. We point out the relevance of helices and try to draw some general conclusions about Beilinson theorem and McKay correspondence.

interpretations, Stone duality, Curry-Howard isomorphism.

a Department of Molecular, Cell and De6elopmental Biology, Howard Hughes Medical Institute, UCLA School of Medicine, UCLA, Los Angeles, CA 90095-1662, USA b Howard Hughes Medical Institute, UCLA School of Medicine, UCLA, Los Angeles, CA 90095-1662, USA c Department of Medical Microbiology, Immunology and Molecular Genetics, Howard Hughes Medical Institute, UCLA School of Medicine, UCLA, Los Ang...