Some properties of ${\hat{I}}^2$-$\hat{I}\cdot$-normal forms in $\hat{I}»$-K-calculus (Alcune proprietá delle forme ${\hat{I}}^2$-$\hat{I}\cdot$-normali nel $\hat{I}»$-K-calcolo)

Corrado Böhm, Chun Tian

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.