Characterization of normal forms possessing inverse in the λ-β-η-calculus

• 30 September 1976
• journal article
• Published by Elsevier in Theoretical Computer Science
• Vol. 2  (3) , 323-337
• https://doi.org/10.1016/0304-3975(76)90085-2

Abstract

Keywords

• NORMAL FORMS
• CALCULUS
• POSSESSING INVERSE
• H.F.P
• PERMUTATORS