Herbert Egli

Computability Concepts for Programming Language Semantics

Robert L. Constable, Herbert Egli, 1976, Theor. Comput. Sci..

A mathematical model for non-deterministic computations

Herbert Egli, 1975 .

Programming Language Semantics Using Extensional $\lambda$-Calculus Models

Herbert Egli, 1974 .

Computability concepts for programming language semantics

Robert L. Constable, Herbert Egli, R. Constable, 1975, Theor. Comput. Sci..

Typed meaning in Scott's lambda - calculus models

Herbert Egli, H. Egli, 1975, Lambda-Calculus and Computer Science Theory.