A lambda encoding is some way of representing data as functions (lambda abstractions). Some motivations for this for computer-checked proofs and type theory.
Want to check another podcast?
Enter the RSS feed of a podcast, and see all of their public statistics.
