Completeness properties of classical theories of finite type and the normal form theorem
CONTENTSIntroduction........................................................................................................................................................................................................................50. Terminology and preliminaries......................................................................................................................................................................................121. The extent of cut elimination by absorption..................................................................................................................................................................172....