NII Technical Report (NII-2012-003E)

Title Almost Affine Lambda Terms
Authors Makoto Kanazawa
Abstract It is proved that a lambda term that has a negatively non-duplicated typing is always beta-eta-equal to an almost affine lambda-term.
Language English
Published May 25, 2012
Pages 20p
PDF File 12-003E.pdf

NII Technical Reports
National Institute of Informatics