Typed meaning in Scott's lambda - calculus models. - Herbert Egli (Lambda-Calculus and Computer Science Theory, 1975)

Computability Concepts for Programming Language Semantics. - Herbert Egli; Robert L. Constable (Theor. Comput. Sci., 1976)