Roger Hindley

According to our database, Roger Hindley authored at least 1 paper in 1977.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

1977

Some remarks about the connections between Combinatory Logic and axiomatic recursion theory.

Roger Hindley, Gerd Mitschke

Arch. Math. Log., 1977