Skip to main content

Author picture

J. R. Hindley

Author of Lambda-Calculus and Combinators: An Introduction

4 Works 113 Members 0 Reviews

About the Author

Includes the name: J. Roger Hindley

Works by J. R. Hindley

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

Basic Simple Type Theory (1997) 34 copies

Introduction to combinators and lambda-calculus (1986) 16 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) computer science (10) computer science tripos reading list 2009-2010 (1) computing (3) Computing Science (2) cs (1) CS325 (1) ENGIN / 50 / HIN (1) engineering (1) functional (1) functional programming (2) genre-computability (1) goodreads (2) Grenier (1) January 2015 (1) lambda calculus (2) location-mnlink (1) location-umn_east_bank (1) logic (1) mAmazon (1) math (7) MATH / 25 / HIN (1) Mb 104/3 (1) non-fiction (2) November 2015 (1) programming (1) programming languages (2) programming-language-theory (2) Session01-006500_Roger-Weir-Library_Box0250 (1) technical (1) to-read (8) to-sort (1) type theory (2) unfinished (1) V1 (1) X6 (1)

Common Knowledge

Legal name: Hindley, James Roger
Gender: male
Nationality: UK
Places of residence: Belfast, Northern Ireland, UK
Pennsylvania, USA
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

Members

You May Also Like

Associated Authors

Statistics

Works: 4
Members: 113
Popularity: #173,161
Rating: ½ 4.6

ISBNs: 12
Languages: 1

Charts & Graphs

See More Charts & Graphs

Pictures

Links

Helper Hub

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

Is This You?

Become a LibraryThing Author.

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

This site uses cookies to deliver our services, improve performance, for analytics, and (if not signed in) for advertising. By using LibraryThing you acknowledge that you have read and understand our Terms of Service and Privacy Policy. Your use of the site and services is subject to these policies and terms.

NODES