typed lambda λ→
  • Lambda Calculus: Lexical syntax

    Feb 8, 2017 •

    Lambda Calculus was invented by Alonzo Church as a formal system to model computations using functions to define abstractions and applications. It is the most simplest programming language.

    Read on →

  • a short introduction to lambda calculus

    Feb 2, 2017 •

    There couldn’t be a much shorter and crispier introduction to lambda calculus than by Graham Hutton.

    Read on →

© - Powered by Jekyll & whiteglass - Subscribe via RSS