%0 Journal Article %1 journals/corr/BottaJICB16 %A Botta, Nicola %A Jansson, Patrik %A Ionescu, Cezar %A Christiansen, David R. %A Brady, Edwin %D 2017 %J Logical Methods in Computer Science %K dblp %N 1 %T Sequential decision problems, dependent types and generic solutions. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#BottaJICB16 %V 13

@article{journals/corr/BottaJICB16, added-at = {2020-01-22T00:00:00.000+0100}, author = {Botta, Nicola and Jansson, Patrik and Ionescu, Cezar and Christiansen, David R. and Brady, Edwin}, biburl = {https://www.bibsonomy.org/bibtex/2f02b159a4ef53c1adba988188d564e41/dblp}, ee = {http://arxiv.org/abs/1610.07145}, interhash = {a6b6c8ccb1cd8215b59d7a479185a798}, intrahash = {f02b159a4ef53c1adba988188d564e41}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2020-01-24T11:38:59.000+0100}, title = {Sequential decision problems, dependent types and generic solutions.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs13.html#BottaJICB16}, volume = 13, year = 2017 }