Books by J. Roger Hindley

2 titles available, newest first by original publication date.

Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction

J. Roger Hindley

$106.99

Basic Simple Type Theory

Basic Simple Type Theory

J. Roger Hindley

$64.99