CS 641 lecture -*- Outline -*-

* second-order-calculi