Formalized, Effective Domain Theory in Coq

DOI10.1007/978-3-319-08970-6_14zbMath1416.68158OpenAlexW199262333MaRDI QIDQ2879253

Robert Dockins

Publication date: 8 September 2014

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08970-6_14

Mathematics Subject Classification ID

Related Items (2)

Apartness, sharp elements, and the Scott topology of domains ⋮ Denotational semantics of recursive types in synthetic guarded domain theory

Uses Software

• Coq

This page was built for publication: Formalized, Effective Domain Theory in Coq