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,Andrew M. (University of Cambridge) Pitts,Gothenberg) Dybjer, P. (Chalmers University of Technology,Peter Dybjer

Häftad, Engelska, 2009

759 kr

Skickas inom 7-10 vardagar

Types for Proofs and Programs

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

AvThierry Coquand,Peter Dybjer,Bengt Nordström,Jan Smith

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 Dybjer,Luis Pinto,João Saraiva

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. Rydeheard,Peter Dybjer,Andrew Pitts,Axel Poigne

Häftad, Engelska, 1989

679 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,Jan Smith

Häftad, Engelska, 1995

729 kr

Skickas inom 10-15 vardagar