You are about to access our book library "Semantics and Logics of Computation (Publications of the Newton Institute) by Andrew Pitts (2009-08-04) full version" .