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

Yes; that's sort of how the lambda calculus self-interpreter works. There's another connection too, where a lambda term is obtained from its binary code by successive applying an initial term to true or false [1].

[1] https://cstheory.stackexchange.com/questions/32309/concatena...



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

Search: