Computers & the Internet, Programming

Basic Simple Type Theory, Vol. 42

Name: Basic Simple Type Theory, Vol. 42
Author: J. Roger Hindley
ISBN: 9780521465182

by J. Roger Hindley, Roger J. Hindley, C. J. Van Rijsbergen

Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Synopsis

An introduction to type theory for computer scientists.

Reviews

There are no reviews yet. Log in to write one.

Book Details

Published

July 1, 1997

Publisher

Cambridge University Press

Format

Hardcover

ISBN

9780521465182

More by J. Roger Hindley

Basic Simple Type Theory

Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators

Similar books

Open Source: Technology and Policy

Advances in Computers, Vol. 65

Introduction to Algorithms

Bpmn Method and Style, 2nd Edition, with Bpmn Implementer's Guide: A Structured Approach for Business Process Modeling and Implementation Using Bpmn 2

The Bug

Extreme NXT: Extending the LEGO MINDSTORMS NXT to the Next Level

Lighting Controls Handbook

The Art of Public Speaking

The Art of Public Speaking (Text, Student CD-ROM Guidebook v.4.0, and Audio Abridgement CD Set)

Behind Closed Doors: Secrets of Great Management