摘要：关于完全有序的等价类族（COFEs）的一个新的不动点原理被提出，它比标准的Banach型不动点原理更强。
作者：Stephen Dolan
论文ID：2306.01662
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-06-05
PDF 下载： 英文版 中文版pdf翻译中