Derivation and Computation
Taking the Curry-Howard Correspondence Seriously
(Author) H. Simmons
Format:
Hardcover
£134.00
Price: £127.30
(5% off)
Generally dispatched in 1 to 2 days
Information
Publisher:
Cambridge University Press
Format:
Hardcover
Number of pages:
None
Language:
en
ISBN:
9780521771733
Publish year:
2000
Publish date:
May 18, 2000