Login / Signup

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

Pedro H. Azevedo de Amorim
Published in: FoSSaCS (2023)
Keyphrases