Basic simple type theory
Hindley, J. Roger
Basic simple type theory - Cambridge: Cambridge University Press, 1997 - xi, 186 p. : ill. ; 24 cm
9780521465182
Programming languages (Electronic computers)
005.13 HIN
Basic simple type theory - Cambridge: Cambridge University Press, 1997 - xi, 186 p. : ill. ; 24 cm
9780521465182
Programming languages (Electronic computers)
005.13 HIN