Filepdf

J. Roger Hindley

J. Roger Hindley

5 Published BooksJ. Roger Hindley

Popular Books by J. Roger Hindley

Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction

By: J. Roger Hindley

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

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

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

By: J. Roger Hindley

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

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

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

By: J. Roger Hindley

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

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

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

By: J. Roger Hindley

To H. B. Curry

To H. B. Curry

To H. B. Curry

By: Jonathan P. Seldin