Lecture 5: System F and Church Encodings
Channel: Neelakantan Krishnaswami
Date: 18/10/2020

This lecture shows how Church encodings in System F work. This is the technique for representing data using functions.