J. Roger Hindley

J. Roger Hindley's books

Lambda-Calculus and Combinators: An Introduction

3.83 avg rating — 23 ratings

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

really liked it 4.00 avg rating — 13 ratings

Introduction to Combinators and (lambda) Calculus (London Mathematical Society Student Texts, Series Number 1)

really liked it 4.00 avg rating — 4 ratings

Introduction to Combinatory Logic (London Mathematical Society Lecture Note Series)

0.00 avg rating — 0 ratings

To H. B. Curry

0.00 avg rating — 0 ratings