论文信息 - Theory of Domains and Nearby (Invited Paper) - 字舞流文

Theory of Domains and Nearby (Invited Paper)

Yuri Leonidovich Ershov | Yuri Leonidovich Ershov

[1] D. Scott. Models for Various Type-Free Calculi , 1973 .

[2] A. Jung,et al. Cartesian closed categories of domains , 1989 .

[3] M. G. Peretyat'kin. Strongly constructive models and numerations of the Boolean algebra of recursive sets , 1971 .

[4] Yu. L. Ershov,et al. The theory of A-spaces , 1973 .

[5] P. H. Lindsay. Human Information Processing , 1977 .

[6] Y. Ershov. Model of Partial Continuous Functionals , 1977 .