WEKO3
アイテム
NII Technical Report (NII-2012-003E):Almost Affine Lambda Terms
https://doi.org/10.20736/0000001268
https://doi.org/10.20736/00000012683b83bbda-299a-4ce6-bdf4-28bddaa8d7da
名前 / ファイル | ライセンス | アクション |
---|---|---|
NII Technical Report (NII-2012-003E):Almost Affine Lambda Terms (415.4 kB)
|
|
Item type | レポート / Report(1) | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2019-03-13 | |||||||||
タイトル | ||||||||||
タイトル | NII Technical Report (NII-2012-003E):Almost Affine Lambda Terms | |||||||||
言語 | en | |||||||||
言語 | ||||||||||
言語 | eng | |||||||||
キーワード | ||||||||||
言語 | ja | |||||||||
主題Scheme | Other | |||||||||
主題 | テクニカルレポート | |||||||||
キーワード | ||||||||||
言語 | en | |||||||||
主題Scheme | Other | |||||||||
主題 | Technical Report | |||||||||
資源タイプ | ||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||
資源タイプ | departmental bulletin paper | |||||||||
ID登録 | ||||||||||
ID登録 | 10.20736/0000001268 | |||||||||
ID登録タイプ | JaLC | |||||||||
著者 |
金沢, 誠
× 金沢, 誠
|
|||||||||
抄録 | ||||||||||
内容記述タイプ | 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. | |||||||||
言語 | en | |||||||||
書誌情報 |
ja : NIIテクニカル・レポート en : NII Technical Report p. 1-20, 発行日 2012-05-25 |
|||||||||
出版者 | ||||||||||
出版者 | 国立情報学研究所 | |||||||||
言語 | ja | |||||||||
ISSN | ||||||||||
収録物識別子タイプ | ISSN | |||||||||
収録物識別子 | 1346-5597 |