The Scott encoding

Published: Feb. 24, 2020, 8 p.m.

b'

In this episode we briefly review the Church and Parigot encodings (discussed previously in Chapter 6 of this podcast) and then consider the Scott encoding, where combining functions receive only the immediate subdata of the data.

'