Hindley, J. Roger
Basic simple type theory
- Cambridge: Cambridge University Press, 2008
- xi, 186 p. ill. 23 cm.
- Cambridge tracts in theoretical computer science .
9780521054225 pbk
Programming languages (Electronic computers)
Type theory
005.13 / HIN