Botta, Nicola Potsdam Institute for Climate Impact Research;
Jansson, P. External Organizations;
Ionescu, C. External Organizations;
Christiansen, D. R. External Organizations;
Brady, E. External Organizations;
1610.07145.pdf (出版社版), 359KB
Botta, N., Jansson, P., Ionescu, C., Christiansen, D. R., & Brady, E. (2017). Sequential decision problems, dependent types and generic solutions. Logical Methods in Computer Science, 13(1 (lmcs:3202)). doi:10.23638/LMCS-13(1:7)2017.