Combinatory Logic

Bimbó, K. Combinatory Logic. Stanford Encyclopedia of Philosophy.

Type

Reference work

Intellectual base

Reference work

Link

https://plato.stanford.edu/entries/logic-combinatory/

Cited by

1 citation across 1 artifact.

Domain-specific

• Combinatory Logic
  • Although minimal bases are austere, compositions can express constants, composition, permutation, duplication, fixed points, Boolean encodings, arithmetic, and general computation.

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:519fe15ceb53 · see in the full table