Disambiguation evidence for Curry encoding via surface form

"Boehm–Berarducci encoding"

Triples (1)

Triples where some other subject referred to this entity as "Boehm–Berarducci encoding".

Church encoding → relatedTo →
"Boehm–Berarducci encoding"
↳ resolves to Curry encoding
ⓘ