Some properties of β-η-normal forms in λ-K-calculus (Alcune propriet\'a delle forme β-η-normali nel λ-K-calcolo)
Abstract
This is a plain English translation of [B\"oh68], originally in Italian, by Chun Tian. All footnotes (and citations only found in footnotes, of course) are added by the translator.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.