b'
I was reading Benjamin Pierce's dissertation, and learning some intriguing things about intersection types in the context of Church-style typing.\\xa0 I summarize the parts of this I comprehended so far.