Andrew M. Pitts - Böcker

Visar alla böcker från författaren Andrew M. Pitts.
4 produkter
Andrew M. Pitts, P. Dybjer, Andrew M. (University of Cambridge) Pitts, Gothenberg) Dybjer, P. (Chalmers University of Technology, Peter Dybjer - Semantics and Logics of Computation, Häftad
Del 14 - Publications of the Newton Institute

Semantics and Logics of Computation

Av Andrew M. Pitts, P. Dybjer, Andrew M. (University of Cambridge) Pitts, Gothenberg) Dybjer, P. (Chalmers University of Technology, Peter Dybjer

Häftad, Engelska, 2009

769 kr

Skickas inom 7-10 vardagar
Andrew M. Pitts, P. Dybjer, Andrew M. (University of Cambridge) Pitts, Gothenberg) Dybjer, P. (Chalmers University of Technology, A. Pitts - Semantics and Logics of Computation, Inbunden
Del 14 - Publications of the Newton Institute

Semantics and Logics of Computation

Av Andrew M. Pitts, P. Dybjer, Andrew M. (University of Cambridge) Pitts, Gothenberg) Dybjer, P. (Chalmers University of Technology, A. Pitts

Inbunden, Engelska, 1997

2 179 kr

Skickas inom 7-10 vardagar
Andrew D. Gordon, Andrew M. Pitts, Andrew D. (University of Cambridge) Gordon, Andrew M. (University of Cambridge) Pitts - Higher Order Operational Techniques in Semantics, Inbunden
Del 12 - Publications of the Newton Institute

Higher Order Operational Techniques in Semantics

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

Inbunden, Engelska, 1998

1 569 kr

Skickas inom 7-10 vardagar
Andrew M. Pitts, Andrew M. (University of Cambridge) Pitts, Andrew. M Pitts - Nominal Sets, Inbunden
Del 57 - Cambridge Tracts in Theoretical Computer Science

Nominal Sets

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

Inbunden, Engelska, 2013

999 kr

Skickas inom 7-10 vardagar