Church encodings
English
Noun
Church
encodings
plural of
Church encoding