The Best Introduction to Lambda Calculus

in education •  4 months ago 

λ-calculus can simulate any Turing machine. In other words it is a "programming language" that can be learned in few minutes and offer certain mathematical guarantees on correctness. Check out Haskell for real use cases.

education learning mathematics technology video ocd gems qurator
4 months ago by

Downvoting a post can decrease pending rewards and make it less visible. Common reasons:

  • Disagreement on rewards
  • Fraud or plagiarism
  • Hate speech or trolling
  • Miscategorized content or spam

Submit
$0.20
  • Past Payouts $0.20
  • - Author $0.10
  • - Curators $0.10
3 votes
0
Authors get paid when people like you upvote their post.
If you enjoyed what you read here, create your account today and start earning FREE STEEM!