On 19Dec2020 07:39, Philippe Meunier <meunier at ccs.neu.edu> wrote: >See also the example reduction >here: https://en.wikipedia.org/wiki/Church_encoding#Church_pairs Thank you for this reference. I've stuck it on my reading list. Cheers, Cameron Simpson <cs at cskk.id.au>