Comparing Functional Paradigms for Exact Real-Number Computation
暂无分享,去创建一个
[1] M. Nivat. Theoretical Computer Science Volume 213-214 , 1999 .
[2] Matías Menni,et al. Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces , 2002, Math. Struct. Comput. Sci..
[3] S. Maclane,et al. Categories for the Working Mathematician , 1971 .
[4] Dag Normann. Exact real number computations relative to hereditarily total functionals , 2002, Theor. Comput. Sci..
[5] G.D. Plotkin,et al. LCF Considered as a Programming Language , 1977, Theor. Comput. Sci..
[6] Samson Abramsky,et al. Domain theory , 1995, LICS 1995.
[7] D. Normann. The countable functionals , 1980 .
[8] Ulrich Berger,et al. Total Sets and Objects in Domain Theory , 1993, Ann. Pure Appl. Log..
[9] J. Van Leeuwen,et al. Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .
[10] Peter Hertling,et al. Computability & Complexity in Analysis , 2001 .
[11] Dag Normann,et al. The continuous functionals of finite types over the reals , 1998, Workshop on Domains.
[12] Thomas Streicher,et al. Induction and Recursion on the Partial Real Line with Applications to Real PCF , 1999, Theor. Comput. Sci..
[13] S. Lane. Categories for the Working Mathematician , 1971 .
[14] Dag Normann. Computability over The Partial Continuous Functionals , 2000, J. Symb. Log..
[15] D. Normann. Recursion on the countable functionals , 1980 .
[16] Carl A. Gunter,et al. Semantic Domains , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[17] Andrej Bauer,et al. The realizability approach to computable analysis and topology , 2000 .
[18] Martín Hötzel Escardó,et al. PCF Extended with Real Numbers , 1996, Theor. Comput. Sci..
[19] Alex K. Simpson,et al. Lazy Functional Algorithms for Exact Real Functionals , 1998, MFCS.
[20] Abbas Edalat,et al. Integration in Real PCF , 2000, Inf. Comput..
[21] Stefan Friedrich,et al. Topology , 2019, Arch. Formal Proofs.
[22] David R. Lester,et al. A Survey of Exact Arithmetic Implementations , 2000, CCA.
[23] Andrej Bauer,et al. Equilogical spaces , 2004, Theor. Comput. Sci..
[24] Christoph Kreitz,et al. Representations of the real numbers and of the open subsets of the set of real numbers , 1987, Ann. Pure Appl. Log..