NII Technical Reports
National Institute of Informatics
| 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 |