Computing with Infinite Objects
暂无分享,去创建一个
[1] Dana Scott,et al. Mathematical concepts in programming language semantics , 1899 .
[2] Edwin Wiedmer. Exaktes Rechnen mit reellen Zahlen und anderen unendlichen Objekten , 1977 .
[3] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[4] J. Ersov. Theorie der Numerierungen II , 1973 .
[5] Dana S. Scott,et al. Data Types as Lattices , 1976, SIAM J. Comput..
[6] Gilles Kahn,et al. Coroutines and Networks of Parallel Processes , 1977, IFIP Congress.
[7] Edwin Wiedmer. Exaktes Rechnen mit reellen Zahlen , 1976 .
[8] Algirdas Avizienis,et al. On a Flexible Implementation of Digital Computer Arithmetic , 1962, IFIP Congress.