Dybjer Peter Edt (12 results)

Author:

Refine with Advanced Search

More images
Types for Proofs and Programs : International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Selected Papers
Dybjer, Peter (EDT); Nordstrom, Bengt; Smith, Jan M.
Language: English
Published by Springer, 1995
3540605797 / 9783540605799
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: New
US$ 62.69
US$ 2.64 shipping
Ships within U.S.A.
Quantity: Over 20 available
Condition: New.
More images
Semantics and Logics of Computation
Pitts, Andrew M. (EDT); Dybjer, Peter (EDT)
Language: English
Published by Cambridge University Press, 2009
0521118468 / 9780521118460
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: New
US$ 62.74
US$ 2.64 shipping
Ships within U.S.A.
Quantity: Over 20 available
Condition: New.
More images
Types for Proofs and Programs : International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Selected Papers
Dybjer, Peter (EDT); Nordstrom, Bengt; Smith, Jan M.
Language: English
Published by Springer, 1995
3540605797 / 9783540605799
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: Used - As new
US$ 69.10
US$ 2.64 shipping
Ships within U.S.A.
Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
More images
Types for Proofs and Programs : International Workship, Types '99 Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Types 9 (1999 Lokeberg, Sweden); Dybjer, Peter (EDT); Norstrom, Bengt (EDT); Smith, Jan M. (EDT); Coquand, Thierry (EDT); Coquand, Thierry
Language: English
Published by Springer, 2000
3540415173 / 9783540415176
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: Used - As new
US$ 69.10
US$ 2.64 shipping
Ships within U.S.A.
Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
More images
Semantics and Logics of Computation
Pitts, Andrew M. (EDT); Dybjer, Peter (EDT)
Language: English
Published by Cambridge University Press, 2009
0521118468 / 9780521118460
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: Used - As new
US$ 70.73
US$ 2.64 shipping
Ships within U.S.A.
Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
More images
Types for Proofs and Programs : International Workship, Types '99 Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Types 9 (1999 Lokeberg, Sweden); Dybjer, Peter (EDT); Norstrom, Bengt (EDT); Smith, Jan M. (EDT); Coquand, Thierry (EDT); Coquand, Thierry
Language: English
Published by Springer, 2000
3540415173 / 9783540415176
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: New
US$ 83.00
US$ 2.64 shipping
Ships within U.S.A.
Quantity: Over 20 available
Condition: New.
Types for Proofs and Programs : International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Selected Papers
Dybjer, Peter (EDT); Nordstrom, Bengt; Smith, Jan M.
Language: English
Published by Springer, 1995
3540605797 / 9783540605799
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: New
US$ 68.79
US$ 19.98 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: New.
More images
Types for Proofs and Programs : International Workship, Types '99 Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Types 9 (1999 Lokeberg, Sweden); Dybjer, Peter (EDT); Norstrom, Bengt (EDT); Smith, Jan M. (EDT); Coquand, Thierry (EDT); Coquand, Thierry
Language: English
Published by Springer, 2000
3540415173 / 9783540415176
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: New
US$ 69.00
US$ 19.98 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: New.
Semantics and Logics of Computation
Pitts, Andrew M. (EDT); Dybjer, Peter (EDT)
Language: English
Published by Cambridge University Press, 2009
0521118468 / 9780521118460
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: New
US$ 70.60
US$ 19.98 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: New.
More images
Types for Proofs and Programs : International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Selected Papers
Dybjer, Peter (EDT); Nordstrom, Bengt; Smith, Jan M.
Language: English
Published by Springer, 1995
3540605797 / 9783540605799
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: Used - As new
US$ 76.74
US$ 19.98 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
More images
Types for Proofs and Programs : International Workship, Types '99 Lokeberg, Sweden, June 12-16, 1999, Selected Papers
Types 9 (1999 Lokeberg, Sweden); Dybjer, Peter (EDT); Norstrom, Bengt (EDT); Smith, Jan M. (EDT); Coquand, Thierry (EDT); Coquand, Thierry
Language: English
Published by Springer, 2000
3540415173 / 9783540415176
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: Used - As new
US$ 76.95
US$ 19.98 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
More images
Semantics and Logics of Computation
Pitts, Andrew M. (EDT); Dybjer, Peter (EDT)
Language: English
Published by Cambridge University Press, 2009
0521118468 / 9780521118460
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: Used - As new
US$ 78.30
US$ 19.98 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.