8 results
Type of media (2)
Availability (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
8 results

Your search for Peter Dybjer

  1. Cover: Types for Proofs and Programs - Springer
    Thierry Coquand | Peter Dybjer | Bengt Nordström
    Types for Proofs and Programs
    International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
    07/2003
    Springer
    9783540445579 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Types for Proofs and Programs - Springer
    Thierry Coquand | Peter Dybjer | Bengt Nordstrom
    Types for Proofs and Programs
    01/2014
    Springer
    9783662201015 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  3. Cover: Types for Proofs and Programs - Springer
    Peter Dybjer | Bengt Nordstrom | Jan Smith
    Types for Proofs and Programs
    01/2014
    Springer
    9783662188460 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  4. Cover: Types for Proofs and Programs - Springer
    Thierry Coquand | Peter Dybjer | Bengt Nordström
    Types for Proofs and Programs
    International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
    12/2000
    Springer
    9783540415176 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  5. Cover: Applied Semantics - Springer
    Gilles Barthe | Peter Dybjer | Luis Pinto
    Applied Semantics
    International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
    08/2002
    1st EDN1st Edition
    Springer
    9783540440444 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  6. Cover: Category Theory and Computer Science - Springer
    David H. Pitt | David E. Rydeheard | Peter Dybjer
    Category Theory and Computer Science
    01/2014
    Springer
    9783662175101 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  7. Cover: Types for Proofs and Programs - Springer
    Peter Dybjer | Bengt Nordström | Jan Smith
    Types for Proofs and Programs
    International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
    10/1995
    Springer
    9783540605799 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Category Theory and Computer Science - Springer
    David H. Pitt | David E. Rydeheard | Peter Dybjer
    Category Theory and Computer Science
    Manchester, UK, September 5-8, 1989. Proceedings
    08/1989
    Springer
    9783540516620 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €50.28
    Shipment within 10-15 days