%0 Journal Article %1 journals/corr/abs-2211-06863 %A Chappe, Nicolas %A He, Paul %A Henrio, Ludovic %A Zakowski, Yannick %A Zdancewic, Steve %D 2022 %J CoRR %K dblp %T Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. %U http://dblp.uni-trier.de/db/journals/corr/corr2211.html#abs-2211-06863 %V abs/2211.06863

@article{journals/corr/abs-2211-06863, added-at = {2022-11-15T00:00:00.000+0100}, author = {Chappe, Nicolas and He, Paul and Henrio, Ludovic and Zakowski, Yannick and Zdancewic, Steve}, biburl = {https://www.bibsonomy.org/bibtex/2f1ed0e04c95da4e88176b77c5805b5c9/dblp}, ee = {https://doi.org/10.48550/arXiv.2211.06863}, interhash = {4d817d89b49e8709618037f1f179f702}, intrahash = {f1ed0e04c95da4e88176b77c5805b5c9}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:29:19.000+0200}, title = {Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2211.html#abs-2211-06863}, volume = {abs/2211.06863}, year = 2022 }