Church’s Type Theory(plato.stanford.edu)3 points·by hereiskkb·7 ปีที่แล้ว·0 commentsplato.stanford.eduChurch’s Type Theoryhttps://plato.stanford.edu/entries/type-theory-church/0 commentsPost comment—