Login
Login

Normalization property (lambda-calculus)

  1. REDIRECT Normal form (abstract rewriting)

{{R to section}}