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?

Sort by:

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

— Show only ebooks?

Preview

Preview Book
×Close

Basic simple type theory

by J. Roger Hindley First published in 1997 — 4 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
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
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

Introduction to combinators and [lambda]-calculus

by J. Roger Hindley First published in 1986 — 1 edition
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
Preview

[Lambda]-calculus and combinators: an introduction

by J. Roger Hindley First published in 2008 — 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?

History

Created April 1, 2008
2 revisions

Download catalog record: RDF / JSON

August 28, 2008	Edited by RenameBot	fix author name
April 1, 2008	Created by an anonymous user	initial import