Church’s Type Theoryhttps://plato.stanford.edu/entries/type-theory-church/ by hereiskkb • 7 years ago 3 0 7 years agoPLplato.stanford.edu