SKI combinator is indeed another explanation of why the λ-calculus is turing com... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

arianvanp on April 5, 2013 | parent | context | favorite | on: List out of Lambda

SKI combinator is indeed another explanation of why the λ-calculus is turing complete : http://en.wikipedia.org/wiki/SKI_combinator_calculus

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact