Coq 中基于有限基的域论：初步报告
计算机科学中的逻辑
2018-01-26 v1 编程语言
摘要
在域论中，利用有限基（finitary-basis）的概念，每一个有限可计算对象都可以由一个单一的数学对象而非一组对象来表示。在本文中，我们报告了以有限基的形式在 Coq 中形式化域论的努力。
引用
@article{arxiv.1801.08441,
title = {Finitary-based Domain Theory in Coq: An Early Report},
author = {Moez A. AbdelGawad},
journal= {arXiv preprint arXiv:1801.08441},
year = {2018}
}
备注
13 pages