Some properties of $β$-$η$-normal forms in $λ$-K-calculus (Alcune proprietá delle forme $β$-$η$-normali nel $λ$-K-calcolo)
This is a plain English translation of [Böh68], originally in Italian, by Chun Tian. All footnotes (and citations only found in footnotes, of course) are added by the translator.
math.LO↗