Books by J. Roger Hindley
J. Roger Hindley
Average rating 3.90 · 41 ratings · 1 reviews · shelved 506 times
Average rating 3.90 · 41 ratings · 1 reviews · shelved 506 times
Showing 5 distinct works.
|
Lambda-Calculus and Combinators: An Introduction
by
—
published
2008
—
6 editions
|
|
|
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by
—
published
1997
—
5 editions
|
|
|
Introduction to Combinators and (lambda) Calculus (London Mathematical Society Student Texts, Series Number 1)
by
—
published
1986
—
3 editions
|
|
|
Introduction to Combinatory Logic (London Mathematical Society Lecture Note Series)
by |
|
|
To H. B. Curry
by
—
published
1980
|
|
* Note: these are all the books on Goodreads for this author. To add more books, click here.
