Skip to content

Session 2

Alex Gryzlov edited this page Jan 14, 2019 · 3 revisions

DeBruijn indices, strong reduction, abstract machines & scoped LC

Homework

  • Сравните определения CEK и CEK2 машин в Lambda.Untyped
  • Попробуйте портировать KAM и CEK (в любом определении) для нетипизированного ЛИ со скоупом из Lambda.Untyped.Strong.Scoped.
Clone this wiki locally