Home

Jump to bottom

Alex Gryzlov edited this page Jan 21, 2019 · 15 revisions

2019.01.05 - Session 1: Untyped named lambda calculus
2019.01.14 - Session 2: DeBruijn indices, strong reduction, abstract machines & scoped LC
2019.01.21 - Session 3: Simply typed lambda calculus: Nat/Fin/Elem, smallstep reduction, KAM(0) & C(E)K machines