Peter Dybjer - Böcker
Visar alla böcker från författaren Peter Dybjer.
5 produkter
5 produkter
Semantics and Logics of Computation
Av Andrew M. (University of Cambridge) Pitts, Gothenberg) Dybjer, P. (Chalmers University of Technology, Andrew M. Pitts, P. Dybjer, Peter Dybjer
Häftad, Engelska, 2009
799 kr
Skickas inom 7-10 vardagar
Del 1956 - Lecture Notes in Computer Science
Types for Proofs and Programs
Av Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
Häftad, Engelska, 2000
709 kr
Skickas inom 7-10 vardagar
Del 2395 - Lecture Notes in Computer Science
Applied Semantics
Häftad, Engelska, 2002
729 kr
Skickas inom 7-10 vardagar
Del 389 - Lecture Notes in Computer Science
Category Theory and Computer Science
Av David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne
Häftad, Engelska, 1989
669 kr
Skickas inom 7-10 vardagar
Del 996 - Lecture Notes in Computer Science
Types for Proofs and Programs
Häftad, Engelska, 1995
709 kr
Skickas inom 7-10 vardagar