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

Ok, "useless" is a slight exaggeration; non-universal calculi can be useful. But the thing that makes the lambda calculus so important and famous - the thing that makes it "the lambda calculus - is universality, and that's the ur-application that makes all of the subsequent application of calculi to mechanical computation possible.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: