Finitary-based Domain Theory in Coq: An Early Report
2018
Online
report
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.
Comment: 13 pages
Titel: |
Finitary-based Domain Theory in Coq: An Early Report
|
---|---|
Autor/in / Beteiligte Person: | AbdelGawad, Moez A. |
Link: | |
Veröffentlichung: | 2018 |
Medientyp: | report |
Schlagwort: |
|
Sonstiges: |
|