Type Fixpoints: Iteration vs. Recursion.

Zdzislaw Splawski, Pawel Urzyczyn

Browse the full ICFP paper archive.