BriefGPT.xyz
Ask
alpha
关键词
contextual equivalence
搜索结果 - 1
具有连续随机变量和递归的概率语言的上下文等价性
我们提出了一个完整的论证原则,用于解决无类型的概率编程语言中的语境等效性问题,并证明了概率编程中的上下文等效性。
PDF
6 years ago
Prev
Next