/ulc

Experiments on normalization by evaluation based on the untyped lambda calculus

Primary LanguageScala

ulc

Experiments on normalization by evaluation based on the untyped lambda calculus.