Pietro Di Gianantonio

確率プログラミング言語のための明確なセマンティクスのフレームワークを紹介するよ。