Proving The Unique Fixed−Point Principle Correct (Department of Computer Science‚ University of Oxford, 2011)

(untitled) - Hinze, R; James, D