logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously - Harold Simmons
Add cover
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
by: (author)
Format: hardcover
ISBN: 9780521771733 (0521771730)
Publisher: Cambridge University Press
Pages no: 410
Edition language: English
Bookstores:
Books by Harold Simmons
Share this Book
Need help?