Stephan Kreutzer, Martin Lange 0001. A Note on the Relation between Inflationary Fixpoints and Least Fixpoints of Higher Order. In Ralph Matthes, Tarmo Uustalu, editors, 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009. pages 54-60, Institute of Cybernetics, 2009. [doi]
Abstract is missing.