The Best Introduction to Lambda Calculus

in #education • 29 days 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.

#learning #mathematics #technology #video #ocd #gems #qurator
29 days ago in #education by
$0.20
  • Past Payouts $0.20, 0.00 TRX
  • - Author $0.10, 0.00 TRX
  • - Curators $0.10, 0.00 TRX
3 votes
Reply 0

Coin Marketplace

STEEM 0.19
TRX 0.14
JST 0.030
BTC 62900.39
ETH 3357.78
USDT 1.00
SBD 2.47