Domains for Computation in Mathematics, Physics and Exact Real Arithmetic (1997)

Cached

Download Links

by Abbas Edalat
Venue:Bulletin of Symbolic Logic
Citations:48 - 10 self

Active Bibliography

69 Dynamical systems, Measures and Fractals via Domain Theory – Abbas Edalat - 1995
59 Domain Theory and Integration – Abbas Edalat - 1995
7 Integration in real PCF – Abbas Edalat, Martín Hötzel Escardó - 1996
15 When Scott is Weak on the Top – Abbas Edalat - 1996
in a higher-type setting – Martín Escardó
47 PCF extended with real numbers – Martín Hötzel Escardó - 1996
14 The probabilistic powerdomain for stably compact spaces – Mauricio Alvarez-manilla, Achim Jung, Klaus Keimel
30 Power domains and iterated function systems – Abbas Edalat - 1996
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
9 Signal Modeling With Iterated Function Systems – Greg Vines, Russell M. Mersereau, Ronald W. Schafer - 1993
10 Topology, Domain Theory and Theoretical Computer Science – Michael W. Mislove - 1997
6 Induction and recursion on the partial real line with applications to Real PCF – Martín Hötzel Escardo, Thomas Streicher - 1997
1 Renormalization for Siegel Discs – Andrew D. Burbanks
6 Analytic Signal Processing for Computer Graphics using Multivariate Polyhedral Splines – Michael David McCool - 1995
7 A characterization of partial metrizability: Domains are quantifiable – M. P. Schellekens - 2001
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
6 Metric semantics for reactive probabilistic processes – Gethin Josiah Norman - 1997
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
Domain Equations for Probabilistic Processes – Christel Baier Fakultat, Christel Baier, Marta Kwiatkowska - 1997