CBO9780511809835¶

Hindley, J. R., & Seldin, J. P. (2008). https://doi.org/10.1017/CBO9780511809835. Lambda-Calculus and Combinators: An Introduction.

Type: Book
Intellectual base: Review or monograph
Year: 2008
DOI: 10.1017/cbo9780511809835
ISBN: 9780511809835
Link: https://doi.org/10.1017/CBO9780511809835

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Combinatory Logic
- Hindley and Seldin describe combinatory logic and lambda calculus as systems of logic that also serve as abstract programming languages: they have similar expressive aims, while combinatory logic uses a simpler grammar.

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:70437ba34aef · see in the full table