Coq语言中基于Finitary的Domain Theory：An Early Report
Finitary-based Domain Theory in Coq: An Early Report
摘要：
在定义域理论中，每一个有限的可计算对象都可以用一个数学对象来表示，而不是用一组对象来表示，使用有限基的概念。在本文中，我们报告了我们在Coq中以财务基础形式化域理论的努力。
英文摘要：
In domain theory every finite computable object can be represented by a single mathematical object instead of a set of objects, using the notion of finitary-basis. In this article we report on our effort to formalize domain theory in Coq in terms of finitary-basis.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
