(untitled)

Diagonalization, R. S. (., & Self-Reference. (1994). (untitled). Self-Reference. Oxford Univ. Press.

Type

Book

Intellectual base

Review or monograph

Year

1994

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• B, C, K, W system
  • … four primitive combinators and rewrite equations, reduction strategy, translation from lambda terms or another basis, proof of combinatory completeness and extensionality convention are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, jurisdiction, or implementation..

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:86e2568b991f · see in the full table