Basic Simple Type Theory
by Hindley, J Roger
Available Copies
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)
by J. Roger Hindley
- Condition
- Used - Very Good
- Jacket Condition
- No d/j as Published
- Published
- 1997
- Binding
- Cloth
- ISBN
- 9780521465182
- Quantity Available
- 1
- Seller
-
Stroud, Gloucestershire, GBR
- Item Price
-
€77.82
Show Details
Description:
Cambridge: Cambridge University Press, 1997. Cloth. Very Good/No d/j as Published. 8vo - over 7¾" - 9¾" tall. Type: Book N.B. Small plain label to inside front cover. Slight rubbing to corners of boards and head and tail of spine. Item Price
€77.82
Basic Simple Type Theory
by Hindley, J. Roger
- Condition
- Used - Very Good
- Published
- 2008
- Binding
- Paperback
- ISBN
- 9780521054225
- Quantity Available
- 1
- Seller
-
Seattle, Washington, USA
- Item Price
-
€31.33
Show Details
Description:
Cambridge University Press, 2008. Paperback. Very Good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed. Item Price
€31.33
Basic Simple Type Theory
by J. Roger Hindley
- Condition
- New
- Binding
- Hard Cover
- ISBN
- 9780521465182
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
€102.92
Show Details
Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advan Item Price
€102.92
Basic Simple Type Theory
by J. Roger Hindley
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9780521054225
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
€49.19
Show Details
Description:
Paperback / softback. New. This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice. Item Price
€49.19
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by Hindley, J. Roger
- Condition
- New
- Published
- 1997-08-28
- Binding
- Hardcover
- ISBN
- 9780521465182
- Quantity Available
- 1
- Seller
-
San Diego, California, USA
- Item Price
-
€192.70
Show Details
Description:
Cambridge University Press, 1997-08-28. Hardcover. New. New. In shrink wrap. Looks like an interesting title! Item Price
€192.70
Basic Simple Type Theory
by J. Roger Hindley
- Condition
- New
- ISBN
- 9780521054225
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
€40.66
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advan Item Price
€40.66
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by Hindley, J. Roger
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN
- 9780521465182
- Quantity Available
- 1
- Seller
-
Newport Coast, California, USA
- Item Price
-
€169.59
Show Details
Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. Item Price
€169.59
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
by Hindley, J. Roger
- Condition
- Used - Good
- Binding
- Paperback
- ISBN
- 9780521054225
- Quantity Available
- 1
- Seller
-
Newport Coast, California, USA
- Item Price
-
€70.48
Show Details
Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. Item Price
€70.48