Stanford Encyclopedia of Philosophy: Church's Type Theory" – by Peter Andrews (adapted from his book).
Stanford Encyclopedia of Philosophy: Church's Type Theory – από τον Πίτερ Άντριους (προσαρμοσμένο από το βιβλίο του).