- Please help improve the wikipedia article about Alonzo Church -- the man who discovered lambda calculus http://en.wikipedia.org/wiki/alonzo_church 69 comments programming
Linking pages
- A Brief Totally Accurate History Of Programming Languages | by Casper Beyer | Commit Log | Medium https://medium.com/@caspervonb/a-brief-totally-accurate-history-of-programming-cd93ec806124 289 comments
- Category Theory for the Working Hacker https://www.infoq.com/presentations/category-theory-propositions-principle 159 comments
- GitHub - rekihattori/awesome-programmers: A list of history's greatest software engineers and tech pioneers https://github.com/rekihattori/awesome-programmers 44 comments
- The four simple ways to encode sum-types https://yairchu.github.io/posts/sum-type-encodings.html 40 comments
- Uncomputable Numbers. Real numbers we can never know the… | by Jørgen Veisdal | Cantor’s Paradise https://medium.com/cantors-paradise/uncomputable-numbers-ee528830d295 37 comments
- Uncomputable Numbers. Real numbers we can never know the… | by Jørgen Veisdal | Cantor’s Paradise https://www.cantorsparadise.com/uncomputable-numbers-ee528830d295 23 comments
- Why we want to build Charles Babbage's Victorian computer | John Graham-Cumming | The Guardian http://www.guardian.co.uk/commentisfree/2012/oct/23/charles-babbage-analytical-engine-victorian-computer 23 comments
- Cardano Added Smart Contracts After Alonzo Upgrade and Ada Token Falls https://www.businessinsider.com/cardano-ada-alonzo-upgrade-defi-smart-contracts-charles-hoskinson-2021-9?amp= 23 comments
- Turing Uncomputability - by Jørgen Veisdal - Privatdozent https://www.privatdozent.co/p/turing-uncomputability 22 comments
- Introduction to Lambda Calculus https://serokell.io/blog/untyped-lambda-calculus 20 comments
- homoiconic/from_birds_that_compose_to_method_advice.markdown at master · raganwald-deprecated/homoiconic · GitHub http://github.com/raganwald/homoiconic/tree/master/2008-11-07/from_birds_that_compose_to_method_advice.markdown 6 comments
- homoiconic/from_birds_that_compose_to_method_advice.markdown at master · raganwald-deprecated/homoiconic · GitHub https://github.com/raganwald/homoiconic/blob/master/2008-11-07/from_birds_that_compose_to_method_advice.markdown 1 comment
- Brad Parker - Designer + Developer / Getting close to the conceptual metal https://bradparker.com/content/posts/2020-01-27-getting-close-to-the-conceptual-metal.html 0 comments
- Alan Turing Timeline | Alan Richmond http://tuxar.uk/turing/timeline/ 0 comments
- A Seriously Slow Fibonacci Function - OranLooney.com http://www.oranlooney.com/post/slow-fibonacci/ 0 comments
- Emotive Conjugation · Rafal Pastuszak https://sonnet.io/posts/emotive-conjugation/ 0 comments
- homoiconic/combinator_chemistry.md at master · raganwald-deprecated/homoiconic · GitHub https://github.com/raganwald/homoiconic/blob/master/2008-11-12/combinator_chemistry.md#readme 0 comments
- Smart contracts: Turing completeness & reality | by Arthur Breitman | HackerNoon.com | Medium https://medium.com/@arthurb/smart-contracts-turing-completeness-reality-3eb897996621#.oms2fcm5c 0 comments
- Functional Lifestyles Training. March 20th was the first day of spring… | by Peter Norvig | Medium https://medium.com/@peternorvig/functional-lifestyles-training-47984a3cd2ba 0 comments
- Putting the map on the map. Disclaimer: | by Alexey Golev | Medium https://medium.com/@alexeygolev/putting-the-map-on-the-map-ce02062b9611 0 comments
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Alonzo Church - Wikipedia
See how to search.