托马斯·埃尔哈德 概率相干空间中的微分和距离。 (英语) Zbl 1528.68064号 日志。方法计算。科学。 18,第3号,第2号论文,33页(2022年).MSC公司:68甲18 03楼52 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Ehrhard},日志。方法计算。科学。18,第3号,第2号文件,第33页(2022;兹bl 1528.68064) 全文: arXiv公司 链接
朱利奥·格雷里;卢卡·保里尼;西蒙娜·隆奇·德尔拉·罗卡 按值lambda演算的精细调用的标准化和保守性。 (英语) Zbl 1434.68086号 日志。方法计算。科学。 13,第4号,第29号论文,27页(2017年).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Guerreri}等人,《日志》。方法计算。科学。13,第4号,第29号论文,27页(2017;Zbl 1434.68086) 全文: 内政部 arXiv公司
弗拉维恩·布鲁瓦特 关于\(\mathcal H^\ast\)模型的表征:语义方面。 (英语) Zbl 1338.03013号 日志。方法计算。科学。 12,第2号,第4号论文,34页(2016年).MSC公司:03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Breuvart},日志。方法计算。科学。12,第2号,第4号论文,34页(2016;Zbl 1338.03013) 全文: 内政部 arXiv公司
达米亚诺·马扎 对称相互作用组合子中的观测等价性和完全抽象性。 (英语) Zbl 1187.68219号 日志。方法计算。科学。 5,第4号,第6号论文,61页(2009年).MSC公司:2005年第68季度 03B40型 2012年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Mazza},日志。计算方法。科学。5,第4号,第6号论文,61页(2009年;Zbl 1187.68219) 全文: 内政部