Some properties of β-η-normal forms in λ-K-calculus (Alcune proprietá delle forme β-η-normali nel λ-K-calcolo)

2025/02/09 by Corrado Böhm, Böhm, Corrado, Tian, Chun
Computer Science · Mathematics · Physics and Astronomy · #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, programming, and type systems #Nonlinear Waves and Solitons

paper · pdf · doi:10.48550/arxiv.2502.05774

openalex publication_date 2025/02/09 · openalex created_date 2025/02/12 · openalex updated_date 2026/07/28

Abstract

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.

Related

• The algebraic λ-calculus is a conservative extension of the ordinary λ-calculus
• Poincare' normal and renormalized forms
• A Study of the ℓ-Extension to the Results of Classical Calculus
• Deciding equivalence with sums and the empty type
• The integrals in Gradshteyn and Ryzhik. Part 13: Trigonometric forms of the beta function