Basic simple type theory

J. Roger Hindley
Bok · Engelsk · 1997 J. Roger. Hindley

Utgitt	Cambridge : Cambridge University Press , cop. 1997
Omfang	XI, 186 s.
Emner	typeteori lærebøker informatikk
Dewey	511.3
ISBN	9780521054225. - 9780521465182