This is our Canada store.

Looks like you're in United States. You need a Canada address to shop on our Canada store. Go to our United States store to continue.

Choose another store Go to United States Store Go to United States Store Choose another store

Have an account?Sign in

Lambda Calculus with Types - eBook by Henk Barendregt,Wil Dekkers,Richard Statman

Lambda Calculus with Types

Henk Barendregt,Wil Dekkers,Richard Statman

Perspectives in Logic

Synopsis

Categories

About this book

Language:English
ISBN:9781107272248
Release date:Oct 30, 2013
Publisher:Cambridge University Press

Imprint:Cambridge University Press
File format:EPUB2
File size:41.24 MB
Download options:EPUB2 (Adobe DRM)