Login / Signup

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

Giulio ManzonettoAndrew PolonskyAlexis SaurinJakob Grue Simonsen
Published in: J. Log. Comput. (2019)
Keyphrases