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

Cached

Download Links

by Abbas Edalat
Venue:Bulletin of Symbolic Logic
Citations:50 - 11 self

Active Bibliography

68 Dynamical systems, Measures and Fractals via Domain Theory – Abbas Edalat - 1995
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
1186 Information Theory and Statistics – S. Kullback - 1968
2084 Online Learning with Kernels – Jyrki Kivinen, Alexander J. Smola, Robert C. Williamson - 2003
565 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
680 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1338 Data Clustering: A Review – A K Jain, M N Murty, P. J. Flynn - 1999