Ionescu, C. Potsdam Institute for Climate Impact Research and Cooperation Partners;
Ionescu, C. (2016): Vulnerability modelling with functional programming and dependent types. - Mathematical Structures in Computer Science, 26, 1, 114-128.https://doi.org/10.1017/S0960129514000139
