The fixed point property and a technique to harness double fixed point combinators

Giulio Manzonetto, Andrew Polonsky, Alexis Saurin, Jakob Grue Simonsen. The fixed point property and a technique to harness double fixed point combinators. Journal of Logic and Computation, 29(5):831-880, 2019. [doi]

Abstract

Abstract is missing.