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 Nondeterminism
– 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 selfsimilarity
– J E Hutchinson
 1981

395

LCF considered as a programming language
– G Plotkin
 1977

60

Postgraduate 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. NorthHolland, 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: NPcompleteness, recursive functions and universal machines
– L Blum, M Shub, S Smale
 1989

3

Information Categories
– Abbas Edalat, Michael B. Smyth
 1991

7

Selfsimilar sets as Tarski's fixed points
– S Hayashi
 1985

191

Outline of a mathematical theory of computation
– D S Scott
 1970
