Now showing items 1-1 of 1
Uncountable Limits and the Lambda Calculus
(Publishing Association Nordic Journal of Computing, 1995)
In this paper we address the problem of solving recursive domain equations using uncountable limits of domains. These arise for instance, when dealing with the omega_1-continuous function-space constructor and are used ...