Home

Jump to bottom

Alex Gryzlov edited this page Jan 14, 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