Quoting Pierce’s book Types and Programming Languages (which I’m reading now): “Barendregt’s article (1992) is for the more mathematically inclined.” That’s in a book designed for a graduate course.