Get cash for books you no longer need - it’s free and easy ! SELL YOUR BOOKS

Free delivery over £5 Free delivery over £5

OVER 100 MILLION BOOKS REHOMED

Books by Henk Barendregt

Filters

Close all

Sort by:

Price

Binding Type

Author

Publisher

Product Type

Console

Platform

Conditions

Types for Proofs and Programs

Types for Proofs and Programs

Author: Henk Barendregt

View Product

The Lambda Calculus. Its Syntax and Semantics

The Lambda Calculus. Its Syntax and Semantics

Author: Henk Barendregt

View Product

A Lambda Calculus Satellite

A Lambda Calculus Satellite

Author: Henk Barendregt

View Product

A Lambda Calculus Satellite

A Lambda Calculus Satellite

Author: Henk Barendregt

View Product

Lambda Calculus with Types

Lambda Calculus with Types

Author: Henk Barendregt

View Product

48