Peter Dybjer – författare

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

4 produkter

Kategorier

4 produkter

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
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
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
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