## The relation between computational and denotational properties for Scott’s $$D_\infty$$-models of the lambda-calculus.(English)Zbl 0346.02013

### MSC:

 03B40 Combinatory logic and lambda calculus
Full Text: