Domain Theory (1994)

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

Documents Related by Co-Citation

321 A compendium on continuous lattices – G GIERZ - 1980
57 Domain Theory and Integration – Abbas Edalat - 1995
68 Dynamical systems, Measures and Fractals via Domain Theory – Abbas Edalat - 1995
136 Probabilistic Non-determinism – C Jones - 1990
30 Power domains and iterated function systems – Abbas Edalat - 1996
325 Fractals and self-similarity – J E Hutchinson
397 LCF considered as a programming language – Gordon D Plotkin - 1977
125 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
22 Valuations on continuous lattices – J Lawson - 1982
60 Post-graduate lecture notes in advanced domain theory – G D Plotkin - 1981
154 The Lambda Calculus: its Syntax and Semantics. NorthHolland, revised edition – H P Barendregt - 1984
18 Bereiche und Bewertungen – O Kirch - 1993
235 Computable Analysis – K Weihrauch - 2000
377 On a theory of computation and complexity over the real numbers – 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
33 Domain representability of metric spaces – J Blanck - 1997
6 Neural networks, learning automata and iterated function systems – P C Bressloff, J Stark - 1991