Hopp til hovedinnhold

Bøker

Andrew M. Pitts

Forsidebilde av Nominal Sets : Names and Symmetry in Computer Science

Nominal Sets : Names and Symmetry in Computer Science

Pitts, Andrew M.

Cambridge Tracts in Theoretical Computer Science Innbundet 30.05.2013 Engelsk

Produseres på bestilling

Forsidebilde av Semantics and Logics of Computation

Semantics and Logics of Computation

Pitts, Andrew M. Dybjer, P.

Publications of the Newton Institute Heftet 20.08.2009 Engelsk

Produseres på bestilling

Forsidebilde av Higher Order Operational Techniques in Semantics

Higher Order Operational Techniques in Semantics

Gordon, Andrew D. Pitts, Andrew M.

Publications of the Newton Institute Innbundet 22.01.1998 Engelsk

Produseres på bestilling

Forsidebilde av Semantics and Logics of Computation

Semantics and Logics of Computation

Pitts, Andrew M. Dybjer, P.

Publications of the Newton Institute Innbundet 30.01.1997 Engelsk

Produseres på bestilling

Viser 1-4