Home

Jump to bottom

Alex Gryzlov edited this page Feb 7, 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
2019.02.06 - Session 4: STLC parser & bidirectional typechecker, PCF terms, smallstep & machines