Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Sold By
All Sellers
Fishpond (6)
Format
All Formats
Paperback (5)
Hardback (1)
    Results for "Peter Dybjer"
    Peter Dybjer
    6 results
    Sold By
    All Sellers
    Fishpond (6)
    Format
    All Formats
    Paperback (5)
    Hardback (1)
      6 results
      • Bestselling
      • Relevance
      • Price: Lowest
      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
      $71.95
      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
      $170 Elsewhere $217.18 Save $47.18 (22%)
      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
      $84.49
      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
      $106
      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
      $92.89
      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
      $95.34