Introduction to combinators and [lambda]-calculus

View on Open Library

Introduction to combinators and [lambda]-calculus

by J. Roger Hindley

No reviews yet

First published: 1986 1 language ISBN: 0521268966

Subjects

Combinatory logic Lambda calculus Combinatorial analysis Calculus

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 combinatory logic

Introduction to combinatory logic

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