@article{oai:repository.nii.ac.jp:00001268,
 author = {金沢, 誠 and Kanazawa, Makoto},
 journal = {NIIテクニカル・レポート, NII Technical Report},
 month = {May},
 note = {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.},
 pages = {1--20},
 title = {NII Technical Report (NII-2012-003E)：Almost Affine Lambda Terms},
 year = {2012}
}