More on the Parigot encoding

Published: Feb. 22, 2020, 4 a.m.

b'

The Parigot encoding has exponential-size normal forms: but don't panic!\\xa0 With a decent graph-sharing implementation of lambda calculus, they take linear space in memory.

'