Monthly Archives: May 2016

Why is lambda calculus named after that specific Greek letter? Do not believe the rumours!

A common myth in theoretical computer science is that the ‘λ’ in λ-calculus comes from some kind of typographical error, where the intended notation was a circumflex accent ŷ.M, which became a caret ^y.M then finally a lambda λy.M. At … Continue reading

Posted in General, programming languages, teaching | Leave a comment