# J. Roger Hindley

According to our database

Collaborative distances:

^{1}, J. Roger Hindley authored at least 24 papers between 1967 and 2009.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2009

Proceedings of the Logic from Russell to Church, 2009

2008

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

J. Log. Comput., 2008

1998

Theor. Comput. Sci., 1998

1996

Theor. Comput. Sci., 1996

1994

Theor. Comput. Sci., 1994

1993

Notre Dame J. Formal Log., 1993

1992

Theor. Comput. Sci., 1992

Formal Aspects Comput., 1992

1990

J. Symb. Log., 1990

1989

Theor. Comput. Sci., 1989

J. Symb. Log., 1989

1986

Introduction to Combinators and Lambda-Calculus.

Cambridge University Press, 1986

1985

Proceedings of the Combinators and Functional Programming Languages, 1985

1984

Theor. Comput. Sci., 1984

1983

Theor. Comput. Sci., 1983

Theor. Comput. Sci., 1983

1982

Proceedings of the International Symposium on Programming, 1982

1979

Theor. Comput. Sci., 1979

1977

Math. Log. Q., 1977

1974

J. Symb. Log., 1974

1972

Introduction to combinatory logic.

Cambridge University Press, ISBN: 978-0-521-09697-3, 1972

1969

J. Symb. Log., 1969

1967

J. Symb. Log., 1967