Hindley, J. R. (1997). Basic simple type theory. Cambridge, U.K. ; New York, NY, USA: Cambridge University Press.
Παραπομπή Chicago StyleHindley, J. Roger. Basic Simple Type Theory. Cambridge, U.K. ; New York, NY, USA: Cambridge University Press, 1997.
Παραπομπή MLAHindley, J. Roger. Basic Simple Type Theory. Cambridge, U.K. ; New York, NY, USA: Cambridge University Press, 1997.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.