Skip to content

Session 1

Jump to bottom
Alex Gryzlov edited this page Jan 5, 2019 · 6 revisions

Untyped named lambda calculus

  • https://github.com/mietek/cook
  • Benjamin C. Pierce, "Types and Programming Languages"
  • W. Kluge, "Abstract Computing Machines"
  • J.R. Hindley, J.P. Seldin, "Lambda Calculus and Combinators" (2008)
Clone this wiki locally