Skip to main content

Author picture

J. R. Hindley

Author of Lambda-Calculus and Combinators: An Introduction

4 Works 118 Members

About the Author

Includes the name: J. Roger Hindley

Works by J. R. Hindley

Lambda-Calculus and Combinators: An Introduction (2008) 50 copies

Basic Simple Type Theory (1997) 34 copies

Introduction to combinators and lambda-calculus (1986) 18 copies

Introduction to Combinatory Logic (1972) 16 copies

Tagged

2 (1) [Box D6] (1) A restituer - EDF (1) calculus (1) Combinatorics and Graph Theory (2) compsci_lib (1) computer science (10) computer science tripos reading list 2009-2010 (1) computing (3) Computing Science (2) ENGIN / 50 / HIN (1) functional (1) functional programming (3) goodreads (2) January 2015 (1) lambda calculus (2) mAmazon (1) math (8) MATH / 25 / HIN (1) Mb 104/3 (1) non-fiction (2) programming (1) programming languages (2) programming-language-theory (2) to-read (9) to-sort (1) type theory (2) unfinished (1) V1 (1) X6 (1)

Common Knowledge

Legal name: Hindley, James Roger
Gender: male
Education: Queen's University (BSc, 1960)
Queen's University (MSc, 1961)
University of Newcastle upon Tyne (PhD, 1964)
Queen's University (DSc, 1991)
Occupations: professor
research fellow
Nationality: UK
Places of residence: Belfast, Northern Ireland, UK
Pennsylvania, USA
Associated Place (for map): UK

Members

Reviews

No reviews found.

You May Also Like

Associated Authors

Statistics

Works: 4
Members: 118
Popularity: #167,489
Rating: ½ 4.6

ISBNs: 12
Languages: 1

Charts & Graphs

See More Charts & Graphs

Pictures

Links

No links

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

Helpers

koffieyahoo (1)

Is This You?

Become a LibraryThing Author.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson