J. Roger Hindley
J. Roger Hindley
7 featured booksJ. Roger Hindley
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL658785A
Overview
Catalog identity and bibliographic footprint for this author.
7 representative editions
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryBS
Basic simple type theory
cover - Image source: Open Library[A
[Lambda]-calculus and combinators
cover - Image source: Open LibraryIT
Introduction to combinators and [lambda]-calculus
cover - Image source: Open LibraryIT
Introduction to combinatory logic
cover - LALambda-Calculus and CombinatorsJ. Roger Hindley
Lambda-Calculus and Combinators
no cover - LALambda-calculus and Combinators...J. Roger Hindley
Lambda-calculus and Combinators, an Introduction
no cover - THTo H.B. CurryJ. Roger Hindley
To H.B. Curry
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.