Botta, N. Potsdam Institute for Climate Impact Research and Cooperation Partners;
Ionescu, C. Potsdam Institute for Climate Impact Research and Cooperation Partners;
Brady, E. Potsdam Institute for Climate Impact Research and Cooperation Partners;
http://www.cicm-conference.org/2013/cicm.php?event=plmms (Verlagsversion)
Botta, N., Ionescu, C., Brady, E. (2013): Sequential decision problems, dependently typed solutions - Sequential decision problems, dependently typed solutions.
