確率的プログラミング言語の意味論の形式化に関するCPP論文

Affeldt, Cohen, 斉藤による論文 “Semantics of Probabilistic Programs using S-Finite Kernels in Coq” がCPP 2023で発表されました。