scientific article; zbMATH DE number 3440003
From MaRDI portal
Publication:4766044
Cited in
(24)- Domains via approximation operators
- Properly injective spaces and function spaces
- Algebraic domain equations
- Proofs of randomized algorithms in Coq
- PCF extended with real numbers
- Total objects of domains
- scientific article; zbMATH DE number 3705909 (Why is no real title available?)
- Tree constructions of free continuous algebras
- Ordinal decompositions for preordered root systems
- On the universal completion of pointfree function spaces
- A lattice-theoretic approach to arbitrary real functions on frames
- An extension of the dual complexity space and an application to computer science
- Sequential real number computation and recursive relations
- Constraint propagation as information maximization
- A topos for algebraic quantum theory
- LCF considered as a programming language
- A concrete realization of the Hoare powerdomain
- Semantics of a sequential language for exact real-number computation
- An algebraic approach to semantics of programming languages
- Domain theory aspects of extensions of integral domains
- On Scott's thesis for domains of information and well-quasi-orderings
- A representation of FS-domains by formal concept analysis
- Implementing real numbers with RZ
- An algebraic approach to stable domains
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4766044)
