The Unclear Impact

maybe writing operation semantics using just (sub)probability measures wasn’t a great idea? but just citing some probabilistic programming language and jumping a bunch of (pseudo)code as formal semantics feels like a cop-out

replies
0
announces
0
likes
0