Introduction to combinatory logic

View on Open Library

Introduction to combinatory logic

by J. Roger Hindley

No reviews yet

First published: 1972 1 language ISBN: 0521096979

Subjects

Combinatory logic Logic, symbolic and mathematical

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by J. Roger Hindley

Lambda-Calculus and Combinators

Lambda-Calculus and Combinators

Basic simple type theory

Basic simple type theory

Lambda-calculus and Combinators, an Introduction

Lambda-calculus and Combinators, an Intr...

[Lambda]-calculus and combinators

[Lambda]-calculus and combinators

Introduction to combinators and [lambda]-calculus

Introduction to combinators and [lambda]...

To H.B. Curry

You Might Also Like

More in Combinatory logic

Introduction to Mathematical Structures and Proofs

Introduction to Mathematical Structures ...

Larry J. Gerstein

Extension Innovation Method

Extension Innovation Method

Chunyan Yang

Ordered Sets

Bernd Schröder

A Beginner's Guide to Discrete Mathematics

A Beginner's Guide to Discrete Mathemati...

W. D. Wallis

A Beginner's Guide to Finite Mathematics

A Beginner's Guide to Finite Mathematics

W. D. Wallis

Combinatorics and Reasoning

Combinatorics and Reasoning

Carolyn A. Maher