Hoppa till sidans huvudinnehåll

Andrew M. (University of Cambridge) Pitts - Böcker

Visar alla böcker från författaren Andrew M. (University of Cambridge) Pitts.
4 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

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,A. Pitts

Inbunden, Engelska, 1997

2 129 kr

Skickas inom 7-10 vardagar

Del 12 - Publications of the Newton Institute

Higher Order Operational Techniques in Semantics

AvAndrew D. Gordon,Andrew M. Pitts,Andrew D. (University of Cambridge) Gordon,Andrew M. (University of Cambridge) Pitts

Inbunden, Engelska, 1998

1 539 kr

Skickas inom 7-10 vardagar

Del 57 - Cambridge Tracts in Theoretical Computer Science

Nominal Sets

Names and Symmetry in Computer Science

AvAndrew M. Pitts,Andrew M. (University of Cambridge) Pitts,Andrew. M Pitts

Inbunden, Engelska, 2013

979 kr

Skickas inom 7-10 vardagar