A constructive theory of continuous domains suitable for implementation
From MaRDI portal
Publication:1023289
DOI10.1016/j.apal.2008.09.025zbMath1169.06005OpenAlexW2014504638MaRDI QIDQ1023289
Publication date: 11 June 2009
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2008.09.025
constructive mathematicsdomain theorycomputable analysisreal number computationrealizability interpretationmodest sets
Constructive and recursive analysis (03F60) Logic in computer science (03B70) Continuous lattices and posets, applications (06B35) Higher-type and set recursion theory (03D65)
Related Items
Unnamed Item ⋮ Apartness, sharp elements, and the Scott topology of domains ⋮ A computer-verified monadic functional implementation of the integral ⋮ Computer Certified Efficient Exact Reals in Coq
Uses Software
Cites Work