Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Refine By
Category
Mathematics (7)
Medical (2)
Sold By
All Sellers
Fishpond (8)
Age Range
All Ranges
15+ (1)
All Ages (1)
Country
All Countries
Germany (7)
United Kingdom (1)
    Results for "Peter Dybjer"
    Peter Dybjer
    9 results
    Refine By
    Category
    Mathematics (7)
    Medical (2)
    Sold By
    All Sellers
    Fishpond (8)
    Age Range
    All Ranges
    15+ (1)
    All Ages (1)
    Country
    All Countries
    Germany (7)
    United Kingdom (1)
      9 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
      $146 Elsewhere $214.61 Save $68.61 (32%)
      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.44
      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
      $107
      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
      $93.69
      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
      $96.36
      Types for Proofs and ­Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science))
      By Paul Callaghan, Zhaohui Luo, James McKinna, R. Pollack
      Types for Proofs and ­Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science))
      By Paul Callaghan, Zhaohui Luo, James McKinna, R. Pollack
      $97.37
      Typed Lambda Calculi and ­Applications (8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
      By Simona Ronchi Della Rocca
      Typed Lambda Calculi and ­Applications (8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
      By Simona Ronchi Della Rocca
      $94.20
      Functional and Logic ­Programming (9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings (Programming and Software Engineering))
      By Jacques Garrigue, Manuel Hermenegildo
      Functional and Logic ­Programming (9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings (Programming and Software Engineering))
      By Jacques Garrigue, Manuel Hermenegildo
      $92.33
      Epistemology versus Ontology (Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Loef (Logic, Epistemology, and the Unity of Science))
      By Sten Lindstrom, Peter Dybjer, Erik Palmgren, B.G. Sundholm
      Epistemology versus Ontology (Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Loef (Logic, Epistemology, and the Unity of Science))
      By Sten Lindstrom, Peter Dybjer, Erik Palmgren, B.G. Sundholm
      Currently
      Unavailable