Searching for Fixed Point Combinators by Using Automated Theorem Proving

Wos, W. M. L. (1988). Searching for Fixed Point Combinators by Using Automated Theorem Proving: A Preliminary Report.

Type

Unclassified

Intellectual base

Unclassified

Year

1988

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• B, C, K, W system
  • The basis is extensionally equivalent in expressive power to SKI, but translation size and reduction behavior depend on chosen encodings and evaluation strategy.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:7e4922910eef · see in the full table