Skip to content

A Higher-Order Language for Markov Kernels and Linear Operators.

Pedro H. Azevedo de Amorim

Year2023
ProceedingsFoSSaCS

Browse the full FOSSACS paper archive.