Peter Dybjer – författare

Visar alla böcker från författaren Peter Dybjer.

4 produkter

1. 

   Types for Proofs and Programs

   International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

   Av Thierry Coquand, Peter Dybjer m. fl.

   Häftad, 2000

   739 kr

   Lägg i varukorg

2. 

   Applied Semantics

   International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

   Av Gilles Barthe, Peter Dybjer m. fl.

   Häftad, 2002

   739 kr

   Lägg i varukorg

3. 

   Category Theory and Computer Science

   Manchester, UK, September 5-8, 1989. Proceedings

   Av David H. Pitt, David E. Rydeheard m. fl.

   Häftad, 1989

   699 kr

   Lägg i varukorg

4. 

   Types for Proofs and Programs

   International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

   Av Peter Dybjer, Bengt Nordström m. fl.

   Häftad, 1995

   739 kr

   Lägg i varukorg