Beta-eta normal form

This article does not exist yet.