Dybjer Peter Editor (2 results)

Author:

Refine with Advanced Search

Types for Proofs and Programs: International Workshop, TYPES'99, LÃ¶keberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science)
Coquand, Thierry [Editor]; Dybjer, Peter [Editor]; NordstrÃ¶m, Bengt [Editor]; Smith, Jan [Editor];
Language: English
Published by Springer, 2001
3540415173 / 9783540415176
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
5-star seller
Contact seller
Condition: Used - Very good
US$ 36.77
US$ 6.99 shipping
Ships within U.S.A.
Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Semantics and Logics of Computation
Pitts, Andrew M. (Editor)/ Dybjer, Peter (Editor)
Language: English
Published by Cambridge Univ Pr, 1997
0521580579 / 9780521580571
- Hardcover
- Print on Demand
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
US$ 198.87
US$ 16.69 shipping
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Hardcover. Condition: Brand New. 361 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand.