Approximations of infinitary objects
1982 ◽
pp. 116-127
◽