Some properties of $\beta$-$\eta$-normal forms in $\lambda$-K-calculus (Alcune propriet\'{a} delle forme $\beta$-$\eta$-normali nel $\lambda$-K-calcolo)

TL;DR

This paper explores properties of beta-eta normal forms within the lambda-K calculus, providing insights into their structure and behavior, based on a translation of Böhm's 1968 work.

Contribution

It offers a detailed analysis of beta-eta normal forms in lambda-K calculus, extending Böhm's original findings with new insights and clarifications.

Findings

Characterization of beta-eta normal forms in lambda-K calculus

Insights into the structure and properties of these forms

Clarification of Böhm's original results

Abstract

This is a plain English translation of [B\"{o}h68], originally in Italian, by Chun Tian. All footnotes (and citations only found in footnotes, of course) are added by the translator.