Hacker News
- A circuit-like notation for lambda calculus (2015) https://csvoss.com/circuit-notation-lambda-calculus 42 comments
Linking pages
Linked pages
- Alligator Eggs! http://worrydream.com/alligatoreggs/ 106 comments
- Lambda calculus - Wikipedia https://en.wikipedia.org/wiki/Lambda_calculus#Motivation 103 comments
- To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction https://dkeenan.com/Lambda/ 76 comments
- Lambda Diagrams https://tromp.github.io/cl/diagrams.html 32 comments
- SKI combinator calculus - Wikipedia https://en.wikipedia.org/wiki/SKI_combinator_calculus 12 comments
- Entscheidungsproblem - Wikipedia https://en.wikipedia.org/wiki/Entscheidungsproblem 6 comments
- Google Code Archive - Long-term storage for Google Code Project Hosting. https://code.google.com/p/visual-lambda/ 4 comments
- Types and Programming Languages http://www.cis.upenn.edu/~bcpierce/tapl/ 2 comments
- http://bntr.planet.ee/lambda/work/visual_lambda.pdf 1 comment
- Principia Mathematica - Wikipedia https://en.wikipedia.org/wiki/Principia_Mathematica 0 comments
- A picture of Graham’s Number – Minds aren't magic https://mindsarentmagic.org/2020/02/19/a-picture-of-grahams-number/ 0 comments
- De Bruijn index - Wikipedia https://en.wikipedia.org/wiki/De_Bruijn_index 0 comments
Related searches:
Search whole site: site:csvoss.com
Search title: A circuit-like notation for lambda calculus – csvoss.com
See how to search.