Proving the unique fixed-point principle correct: an adventure with category theory.

Ralf Hinze, Daniel W. H. James

Browse the full ICFP paper archive.