Name: Derivation and Computation Taking the Curry-Howard Correspondence Seriously
ISBN: 9780521771733

by Simmons, H., Abramsky, S., Aczel, P. H.

Derivation and Computation Taking the Curry-Howard Correspondence Seriously

by Simmons, H., Abramsky, S., Aczel, P. H.

Marketplace Prices
New from $142.30

New
$142.30

List Price

~~$168.00~~

Discount

15% Off

You Save

$25.70

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9780521771733
ISBN: 0521771730
Publisher: Cambridge University Press

AUTHOR

Simmons, H., Abramsky, S., Aczel, P. H.

SUMMARY

The aim of this text is to explore the relationship between proofs and calculations. The text itself forms an introduction to simple type theory. Starting from the familiar propositional calculus the author develops the central idea of an applied lambda-calculus.Simmons, H. is the author of 'Derivation and Computation Taking the Curry-Howard Correspondence Seriously' with ISBN 9780521771733 and ISBN 0521771730.

[read more]