2024-03-28T23:45:48Z
https://repository.nii.ac.jp/oai
oai:repository.nii.ac.jp:00001268
2023-01-11T02:22:40Z
136
NII Technical Report (NII-2012-003E):Almost Affine Lambda Terms
金沢, 誠
Kanazawa, Makoto
テクニカルレポート
Technical Report
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.
departmental bulletin paper
国立情報学研究所
2012-05-25
application/pdf
NIIテクニカル・レポート
1
20
NII Technical Report
1346-5597
https://repository.nii.ac.jp/record/1268/files/12-003E.pdf
eng