| |
| 1976 | ||
|---|---|---|
| 3 | Herbert Egli, Robert L. Constable: Computability Concepts for Programming Language Semantics. Theor. Comput. Sci. 2(2): 133-145 (1976) | |
| 1975 | ||
| 2 | Herbert Egli: Typed meaning in Scott's lambda - calculus models. Lambda-Calculus and Computer Science Theory 1975: 220-239 | |
| 1 | Herbert Egli, Robert L. Constable: Computability Concepts for Programming Language Semantics STOC 1975: 98-106 | |
| 1 | Robert L. Constable | [1] [3] |