Botta, N., Ionescu, C., & Brady, E. (2013). Sequential decision problems, dependently typed solutions. In Sequential decision problems, dependently typed solutions.