The absence and the presence of fixed point combinators

• Authors:

• William McCune;Larry Wos

• Affiliations:

• Argonne National Lab., Argonne, IL;Argonne National Lab., Argonne, IL

• Venue:
• Theoretical Computer Science
• Year:
• 1991