|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Hindley, J. Roger | Hardcover | 0521465184 /
9780521465182 | 08/1997 | $119.70 |
|  | Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Hindley, J. Roger | Paperback | 0521054222 /
9780521054225 | 01/2008 | $46.54 |
|  | Lambda-Calculus and Combinators: An Introduction | Hindley, J. Roger | Hardcover | 0521898854 /
9780521898850 | 08/2008 | $80.74 |
|  | Lambda-Calculus and Combinators: An Introduction Revised Edition | Hindley, J. Roger | Open Ebook | 0511809832 /
9780511809835 | 06/2012 | $213.75 |
|  | Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, Tlca '97, Nancy, France, April 2-4, 19 1997 Edition (Lecture Notes in Physics) | Groote, Philippe De | Paperback | 3540626883 /
9783540626886 | 03/1997 | $52.24 |
|
|
|