Andrew M. Pitts – författare

Visar alla böcker från författaren Andrew M. Pitts.

4 produkter

1. 

   Semantics and Logics of Computation

   Av Andrew M. Pitts, P. Dybjer

   Häftad, 2009

   999 kr

   Lägg i varukorg

2. 

   Semantics and Logics of Computation

   Av Andrew M. Pitts, P. Dybjer

   Inbunden, 1997

   2879 kr

   Lägg i varukorg

3. 

   Higher Order Operational Techniques in Semantics

   Av Andrew D. Gordon, Andrew M. Pitts

   Inbunden, 1998

   2069 kr

   Lägg i varukorg

4. 

   Nominal Sets

   Names and Symmetry in Computer Science

   Av Andrew M. Pitts

   Inbunden, 2013

   1329 kr

   Lägg i varukorg