amorim_2023_fossacs:
  type: article
  title: A Higher-Order Language for Markov Kernels and Linear Operators
  author: Amorim, Pedro H. Azevedo de
  date: 2023
  url: https://link.springer.com/chapter/10.1007/978-3-031-30829-1_5
  serial-number:
    doi: 10.1007/978-3-031-30829-1_5
  parent:
    type: proceedings
    title: Foundations of Software Science and Computation Structures (FoSSaCS 2023)
    publisher: Springer