It looks like you're offline.

Last edited by RenameBot

August 28, 2008 | History

Edit

J. Roger Hindley

We need a photo of J. Roger Hindley

7 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Lambda-Calculus and Combinators: An Introduction

by J. Roger Hindley and Jonathan P. Seldin First published in 2008
4 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Preview

Preview Book
×Close

Basic simple type theory

by J. Roger Hindley First published in 1997
4 editions, 1 ebook

Locate

My Reading Lists:

Create a new list
Lambda-calculus and Combinators, an Introduction

by J. Roger Hindley and J. P. Seldin First published in 2008
1 edition

Locate

My Reading Lists:

Create a new list
Preview

[Lambda]-calculus and combinators: an introduction

by J. Roger Hindley First published in 2008
1 edition, 1 ebook

Locate

My Reading Lists:

Create a new list
Preview

Introduction to combinators and [lambda]-calculus

by J. Roger Hindley First published in 1986
1 edition, 1 ebook
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Introduction to combinatory logic

by J. Roger Hindley First published in 1972
1 edition

Locate

My Reading Lists:

Create a new list
To H.B. Curry: essays on combinatory logic, lambda calculus, and formalism

by Haskell B. Curry, J. Roger Hindley, and J. P. Seldin First published in 1980
1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of J. Roger Hindley

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL658785A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON