Comments: Fast shipping! All orders include delivery confirmation.
30-day money back guarantee
Publisher: Cambridge University Press
Simmons, H., Abramsky, S., Aczel, P. H.
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.