scientific article; zbMATH DE number 3440003
From MaRDI portal
Publication:4766044
zbMATH Open0279.68042MaRDI QIDQ4766044FDOQ4766044
Authors: Dana Scott 
Publication date: 1972
Title of this publication is not available (Why is that?)
Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25) Combinatory logic and lambda calculus (03B40)
Cited In (24)
- A lattice-theoretic approach to arbitrary real functions on frames
- PCF extended with real numbers
- LCF considered as a programming language
- An algebraic approach to stable domains
- Domain theory aspects of extensions of integral domains
- Properly injective spaces and function spaces
- A topos for algebraic quantum theory
- An extension of the dual complexity space and an application to computer science
- Tree constructions of free continuous algebras
- Implementing real numbers with RZ
- Semantics of a sequential language for exact real-number computation
- Sequential real number computation and recursive relations
- Proofs of randomized algorithms in Coq
- Domains via approximation operators
- Ordinal decompositions for preordered root systems
- On the universal completion of pointfree function spaces
- Total objects of domains
- Title not available (Why is that?)
- A representation of FS-domains by formal concept analysis
- On Scott's thesis for domains of information and well-quasi-orderings
- Constraint propagation as information maximization
- An algebraic approach to semantics of programming languages
- Algebraic domain equations
- A concrete realization of the Hoare powerdomain
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)
