Disambiguation evidence for Scott encoding via surface form

"Scott encoding"

Triples (1)

Triples where some other subject referred to this entity as "Scott encoding".

lambda calculus hasEncoding
"Scott encoding"
↳ resolves to Scott encoding