Herbert Egli

Publication Activity (10 Years)

Years Active: 1975-1976
Publications (10 Years): 0

Publications

Herbert Egli, Robert L. Constable
Computability Concepts for Programming Language Semantics. Theor. Comput. Sci. 2 (2) (1976)
Herbert Egli, Robert L. Constable
Computability Concepts for Programming Language Semantics STOC (1975)
Herbert Egli
Typed meaning in Scott's lambda - calculus models. Lambda-Calculus and Computer Science Theory (1975)