Finding fixpoints on function spaces (1986)

by Jonathan Young, Paul Hudak