高效的全高阶统一
摘要
出版物: -
arXiv电子打印 发布日期: 2020年11月 内政部: -
10.48550/arXiv.2011.09507 arXiv: -
arXiv:2011.09507年 书目代码: -
2020arXiv201109507V 关键词: -
计算机科学-计算机科学中的逻辑
电子打印: 《计算机科学中的逻辑方法》第17卷第4期(2021年12月14日)lmcs:6919