Tag
A deep dive into the theoretical foundations of Church encoding, connecting it with parametricity and the Yoneda lemma in the context of System F and polymorphic lambda calculus.