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
719 kr
Skickas inom 7-10 vardagar
Del 2395 - Lecture Notes in Computer Science
Applied Semantics
Häftad, Engelska, 2002
739 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
719 kr
Skickas inom 7-10 vardagar