摘要：关于一种支持通用计算效果和差异的关系程序逻辑的研究
作者：Tetsuya Sato and Shin-ya Katsumata
论文ID：2206.05716
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-08-28
PDF 下载： 英文版 中文版pdf翻译中