Lab Lunch calendar

Recent Posts
Recent Comments
 Dan Ghica on Categorical semantics of digital circuits
 So what is a “pure programming language” anyway?  The Lab Lunch on Types: computation vs. interaction
 Dan Ghica on A short fable of software engineering vs. regular engineering
 === popurls.com === popular today on A short fable of software engineering vs. regular engineering
 Dan Ghica on Computability: The Greatest Law of Physics
Archives
Categories
Meta
Blogroll
 Existential Type, Bob Harper’s blog
 Gagalium OCaml and Coq development team
 Mathematics and Computation, Andrej Bauer’s blog
 Semantic Domain, Neel Krishnaswami’s blog
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