Domain Theory (1994)

by Samson Abramsky , Achim Jung
Venue:Handbook of Logic in Computer Science
Citations:456 - 20 self

Documents Related by Co-Citation

69 Dynamical systems, Measures and Fractals via Domain Theory – Abbas Edalat - 1995
320 A Compendium of Continuous Lattices – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 1980
59 Domain Theory and Integration – Abbas Edalat - 1995
137 Probabilistic Non-determinism – C Jones - 1990
23 Valuations on continuous lattices – J Lawson - 1982
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
30 Power domains and iterated function systems – Abbas Edalat - 1996
325 Fractals and self-similarity – J E Hutchinson - 1981
395 LCF considered as a programming language – G Plotkin - 1977
60 Post-graduate lecture notes in advanced domain theory, incorporating the “pisa notes РG S Plotkin - 1981
48 Domains for Computation in Mathematics, Physics and Exact Real Arithmetic – Abbas Edalat - 1997
155 The Lambda Calculus: its Syntax and Semantics. North-Holland, Amsterdam, revised edition – H P Barendregt - 1984
13 Existence theorems for measures on continuous posets, with applications to random set theory. Mathematica Scandinavica – T Norberg - 1989
18 Bereiche und Bewertungen – O Kirch - 1993
232 An Introduction to Computable Analysis – K Weihrauch - 2000
382 On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines – L Blum, M Shub, S Smale - 1989
3 Information Categories – Abbas Edalat, Michael B. Smyth - 1991
7 Self-similar sets as Tarski's fixed points – S Hayashi - 1985
191 Outline of a mathematical theory of computation – D S Scott - 1970