Formalized, Effective Domain Theory in Coq
From MaRDI portal
Publication:2879253
DOI10.1007/978-3-319-08970-6_14zbMath1416.68158OpenAlexW199262333MaRDI QIDQ2879253
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Apartness, sharp elements, and the Scott topology of domains ⋮ Denotational semantics of recursive types in synthetic guarded domain theory
Uses Software
This page was built for publication: Formalized, Effective Domain Theory in Coq
