Jan 26, 2017

A great overview of this stuff is http://homepages.inf.ed.ac.uk/wadler/papers/frege/frege.pdf