Church’s Type Theory(plato.stanford.edu)3 points·by hereiskkb·há 7 anos·0 commentsplato.stanford.eduChurch’s Type Theoryhttps://plato.stanford.edu/entries/type-theory-church/0 commentsPost comment—