W. Farmer, The seven virtues of simple type theory, Journal of Applied Logic, Vol.
Farmer, Οι 7 αρετές της απλή θεωρίας τύπων, Περιοδικό της Εφαρμοσμένης Λογικής, Vol.