Search for 'su:"Programming languages" and se:Cambridge tracts in theoretical computer science'

Basic simple type theory

By Hindley, J. Roger. Cambridge: Cambridge University Press, 2008 . xi, 186 p. 23 cm.. 9780521054225

By Amadio, Roberto M.. Cambridge: Cambridge University Press, 2008 . xvi, 484 p.; 23 cm.. 9780521062923

By Spivey, J. M.. New York: Cambridge University Press, 1988 . viii, 131 p.; 25 cm.. 0521054141

By Nielson, Flemming. Cambridge: Cambridge University Press, 2005 . xii, 299 p.; 25 cm.. 9780521018470