Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Delivery
All
Free Shipping (5)
Sold By
All Sellers
Fishpond (5)
Format
All Formats
Paperback (5)
Hardback (1)
Price
All Prices
$60 - $80 (1)
Over $80 (4)
to Go
to Go
Discount
Any Discount
0 - 25% (5)
    Results for "Peter Dybjer"
    Peter Dybjer
    5 results
    Delivery
    All
    Free Shipping (5)
    Sold By
    All Sellers
    Fishpond (5)
    Format
    All Formats
    Paperback (5)
    Hardback (1)
    Price
    All Prices
    $60 - $80 (1)
    Over $80 (4)
    to Go
    to Go
    Discount
    Any Discount
    0 - 25% (5)
      5 results
      • Bestselling
      • Relevance
      • Price: Lowest
      • In Stock
      Sort By
      View:
      Semantics and Logics of ­Computation (Publications of the Newton Institute)
      By Andrew M. Pitts, Peter Dybjer
      Semantics and Logics of ­Computation (Publications of the Newton Institute)
      By Andrew M. Pitts, Peter Dybjer
      $83.78
      Types for Proofs and ­Programs (Third International Workshop, TYPES '99, Leokeberg, Sweden, June 12-16, 1999 : Selected Papers (Lecture Notes in Computer Science))
      By Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
      Types for Proofs and ­Programs (Third International Workshop, TYPES '99, Leokeberg, Sweden, June 12-16, 1999 : Selected Papers (Lecture Notes in Computer Science))
      By Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
      $127
      Applied Semantics (International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : Advanced Lectures (Lecture Notes in Computer Science))
      By Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva
      Applied Semantics (International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : Advanced Lectures (Lecture Notes in Computer Science))
      By Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva
      $130
      Category Theory and ­Computer Science (Manchester, UK, September 5-8, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts
      Category Theory and ­Computer Science (Manchester, UK, September 5-8, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts
      $128
      Types for Proofs and ­Programs (International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science))
      By Peter Dybjer, Bengt Nordstrom, Jan Smith
      Types for Proofs and ­Programs (International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science))
      By Peter Dybjer, Bengt Nordstrom, Jan Smith
      $130