Basic simple type theory. Digitally printed version (with corrections). - Cambridge University Press, 2008. - ( Cambridge Tracts in Theoretical Computer Science ; 42).