摘要：用于连续均匀分布抽样和软条件操作符的类型化lambda演算的交互几何模型及其证实的适用性。
作者：Ugo Dal Lago, Naohiko Hoshino
论文ID：1904.07425
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中