References
- Arnold , A. and Nivat , M. 1980 . Metric interpretation of infinite trees and semantics of nondeterministic recursive programs . Theoretical Computer Science , 11 : 181 – 205 .
- Bishop , E. and Bridges , D. 1985 . Constructive Analysis , Berlin, Heidelberg : Springer .
- Burstall , R. M. and Darlington , J. 1977 . A transformation system for developing recursive programs . J. ACM , 24 : 44 – 67 .
- Courcelle , B. 1983 . Fundamental properties of infinite trees . Theoretical Computer Science , 25 : 95 – 169 .
- de Bakker , J. W. and Zucker , J. I. 1982 . Processes and the denotational semantics of concurrency . Information and Control , 54 : 70 – 120 .
- Hallnäs , L. 1990 . On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions, in: COLOG-88 . Lecture Notes in Computer Science , 417 : 94 – 104 .
- Levy , H. R. and Maibaum , T. S. E. 1982 . Continuous data types . SIAM J. Computing , 11 : 201 – 216 .
- Maher , M. J. 1988 . Complete axiomatizations of the algebras of finite, rational and infinite trees . Logic in Computer Science , 11 : 348 – 357 .
- Mendler , N. P. , Panangaden , P. and Constable , R. L. 1986 . Infinite objects in type theory . Logic in Computer Science , 11 : 249 – 255 .
- Möller , B. 1985 . On the algebraic specification of infinite objects—ordered and continuous models of algebraic types . Acta Informatica , 22 : 537 – 578 .
- Tarlecki , A. and Wirsing , M. 1985 . Continuous abstract data types: basic machinery and results . Lecture Notes in Computer Science , 199 : 431 – 441 .
- Zhang , Ming-Hua . 1988 . A second order theory of data types . Acta Informatica , 25 : 283 – 303 .
- Zhang , Ming-Hua . 1988 . Introducing data types in intuitionistic type theory . Intern. J. Computer Math. , 41 to appear
- Zhang , Ming-Hua . 1988 . Infinite objects in intuitionistic type theory . Chinese Annals of Pure and Applied Logic , 41 to appear.