Hoppa till sidans huvudinnehåll

Peter Dybjer – författare

Visar alla böcker från författaren Peter Dybjer.
4 produkter
Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

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

AvThierry Coquand,Peter Dybjerm. fl.

Häftad, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar

Gilles Barthe, Peter Dybjer, Luis Pinto, João Saraiva - Applied Semantics, Häftad

Applied Semantics

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

AvGilles Barthe,Peter Dybjerm. fl.

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne - Category Theory and Computer Science, Häftad

Category Theory and Computer Science

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

AvDavid H. Pitt,David E. Rydeheardm. fl.

Häftad, Engelska, 1989

689 kr

Skickas inom 10-15 vardagar

Peter Dybjer, Bengt Nordström, Jan Smith - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

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

AvPeter Dybjer,Bengt Nordströmm. fl.

Häftad, Engelska, 1995

729 kr

Skickas inom 10-15 vardagar