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 | |||||||||
