Herbert Egli

According to our database, Herbert Egli authored at least 2 papers in 1975.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1975

Computability Concepts for Programming Language Semantics

Herbert Egli, Robert L. Constable

Proceedings of the 7th Annual ACM Symposium on Theory of Computing, 1975

Typed meaning in Scott's lambda - calculus models.

Herbert Egli

Proceedings of the Lambda-Calculus and Computer Science Theory, 1975