Hoppa till sidans huvudinnehåll

Peter Dybjer - Böcker

Visar alla böcker från författaren Peter Dybjer.
5 produkter
Del 14 - Publications of the Newton Institute

Semantics and Logics of Computation

AvAndrew M. Pitts,P. Dybjer m. fl.

Häftad, Engelska, 2009

779 kr

Skickas inom 10-15 vardagar

Types for Proofs and Programs

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

AvThierry Coquand,Peter Dybjer m. fl.

Häftad, Engelska, 2000

689 kr

Skickas inom 10-15 vardagar

Applied Semantics

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

AvGilles Barthe,Peter Dybjer m. fl.

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar

Category Theory and Computer Science

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

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

Häftad, Engelska, 1989

649 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öm m. fl.

Häftad, Engelska, 1995

689 kr

Skickas inom 10-15 vardagar