@inproceedings{amorim_2023_fossacs,
 title = {A Higher-Order Language for Markov Kernels and Linear Operators},
 author = {Amorim, Pedro H. Azevedo de},
 year = {2023},
 doi = {10.1007/978-3-031-30829-1_5},
 url = {https://link.springer.com/chapter/10.1007/978-3-031-30829-1_5},
 booktitle = {Foundations of Software Science and Computation Structures (FoSSaCS 2023)},
 publisher = {Springer}
}