Church-style Typing and Intersection Types: Glimpses of Benjamin Pierce's Dissertation
I was reading Benjamin Pierce's dissertation, and learning some intriguing things about intersection types in the context of Church-style typing. I summarize the parts of this I comprehended so far.