%0 Journal Article %1 journals/lmcs/BreuvartLH21 %A Breuvart, Flavien %A Lago, Ugo Dal %A Herrou, Agathe %D 2021 %J Log. Methods Comput. Sci. %K dblp %N 4 %T On Higher-Order Probabilistic Subrecursion. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs17.html#BreuvartLH21 %V 17

@article{journals/lmcs/BreuvartLH21, added-at = {2023-01-31T00:00:00.000+0100}, author = {Breuvart, Flavien and Lago, Ugo Dal and Herrou, Agathe}, biburl = {https://www.bibsonomy.org/bibtex/24c8f7bf0ec1e44009b2b10c306bb056b/dblp}, ee = {https://doi.org/10.46298/lmcs-17(4:25)2021}, interhash = {099f62b32ac1c94515ba1e2886ca5b90}, intrahash = {4c8f7bf0ec1e44009b2b10c306bb056b}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 4, timestamp = {2024-04-09T01:50:43.000+0200}, title = {On Higher-Order Probabilistic Subrecursion.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs17.html#BreuvartLH21}, volume = 17, year = 2021 }