Trending Bestseller

Computation and Reasoning

No reviews yet Write a Review

Here, the author, develops a type theory, studies its properties, and explains its uses in applications to computer science. In particular, type theory is shown to offer a powerful and uniform language for programming, program specification and development, and logical reasoning.

Hardback

31-March-1994

RRP: $165.95

$122.00

Ships in 3-5 business days

Description

This book develops a new type theory and shows how it can be applied to computer science, in particular to the effective development of programs and proofs.

Customer reviews

This product hasn't received any reviews yet. Be the first to review this product!

Write a Reviews

Flat Rate Shipping

Easy Returns

RRP: $165.95

$122.00

Ships in 3-5 business days

Flat Rate Shipping

Easy Returns