[Lambda]-calculus and combinators

View on Open Library

[Lambda]-calculus and combinators

by J. Roger Hindley

No reviews yet

First published: 2008 1 language ISBN: 9780521898850

Subjects

Combinatory logic Lambda calculus Calculus Logic

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

Introduction to combinators and [lambda]-calculus

Introduction to combinators and [lambda]...

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