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

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

Av Thierry Coquand, Peter Dybjer m. fl

Häftad, Engelska, 2000

709 kr

Skickas inom 10-15 vardagar

Applied Semantics

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

Av Gilles Barthe, Peter Dybjer m. fl

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

Category Theory and Computer Science

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

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

Häftad, Engelska, 1989

669 kr

Skickas inom 10-15 vardagar

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, Engelska, 1995

709 kr

Skickas inom 10-15 vardagar