Hacker News
- Would aliens understand lambda calculus? (2018) http://tomasp.net/blog/2018/alien-lambda-calculus/ 56 comments
Lobsters
- Would aliens understand lambda calculus? (2018) http://tomasp.net/blog/2018/alien-lambda-calculus/ 4 comments cogsci , math , plt
- Would aliens understand lambda calculus? http://tomasp.net/blog/2018/alien-lambda-calculus/ 51 comments compsci
Linked pages
- Linguistic relativity - Wikipedia https://en.wikipedia.org/wiki/Linguistic_relativity 382 comments
- "Propositions as Types" by Philip Wadler - YouTube https://www.youtube.com/watch?v=IOiZatlZtGU 154 comments
- Curry–Howard correspondence - Wikipedia https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 63 comments
- Euler characteristic - Wikipedia http://en.wikipedia.org/wiki/euler_characteristic#proof_of_euler.27s_formula 1 comment
- Story of Your Life - Wikipedia https://en.wikipedia.org/wiki/Story_of_Your_Life 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:tomasp.net
Search title: Would aliens understand lambda calculus? - Tomas Petricek
See how to search.