Lovely! I think it speaks to the value of an idea that it is developed independently more than once. It should be noted as it is in the abstract of your first

Lovely! I think it speaks to the value of an idea that it is developed independently more than once. It should be noted as it is in the abstract of your first reference that these are elaborations on the core idea of Church encodings (and Boehm-Berarducci encodings).