Internet Archive record

Curry, H. B., & Feys, R. (1958). Internet Archive record. Combinatory Logic, 1.

Type

Journal article

Intellectual base

Primary research

Year

1958

Link

https://archive.org/details/combinatorylogic0001curr

Cited by

1 citation across 1 artifact.

Domain-specific

• Combinatory Logic
  • Its roles now span foundations of mathematics, relationships among formal calculi, models of computation, type theory, categorical semantics, functional-language implementation, and point-free programming.

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:046dcca03a1b · see in the full table