Finitary-based Domain Theory in Coq: An Early Report
classification
💻 cs.LO
cs.PL
keywords
domaintheoryfinitary-basisobjectreportarticlecomputableearly
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.