ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_buckets": {"deposit": "d84d0e87-33a2-419c-97a9-ac209fd6b86a"}, "_deposit": {"id": "1268", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "1268"}, "status": "published"}, "_oai": {"id": "oai:repository.nii.ac.jp:00001268", "sets": ["136"]}, "author_link": [], "control_number": "1268", "item_5_biblio_info_30": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2012-05-25", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "20", "bibliographicPageStart": "1", "bibliographic_titles": [{"bibliographic_title": "NIIテクニカル・レポート", "bibliographic_titleLang": "ja"}, {"bibliographic_title": "NII Technical Report", "bibliographic_titleLang": "en"}]}]}, "item_5_description_28": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "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.", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_5_identifier_registration": {"attribute_name": "ID登録", "attribute_value_mlt": [{"subitem_identifier_reg_text": "10.20736/0000001268", "subitem_identifier_reg_type": "JaLC"}]}, "item_5_publisher_31": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "国立情報学研究所", "subitem_publisher_language": "ja"}]}, "item_5_source_id_32": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1346-5597", "subitem_source_identifier_type": "ISSN"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "金沢, 誠", "creatorNameLang": "ja"}, {"creatorName": "Kanazawa, Makoto", "creatorNameLang": "en"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2019-03-13"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "12-003E.pdf", "filesize": [{"value": "415.4 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 415400.0, "url": {"label": "NII Technical Report (NII-2012-003E):Almost Affine Lambda Terms", "url": "https://repository.nii.ac.jp/record/1268/files/12-003E.pdf"}, "version_id": "55946481-9f89-40b2-92d2-289fffc3efb4"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "テクニカルレポート", "subitem_subject_language": "ja", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Technical Report", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "departmental bulletin paper", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "NII Technical Report (NII-2012-003E):Almost Affine Lambda Terms", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "NII Technical Report (NII-2012-003E):Almost Affine Lambda Terms", "subitem_title_language": "en"}]}, "item_type_id": "5", "owner": "1", "path": ["136"], "permalink_uri": "https://doi.org/10.20736/0000001268", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2019-03-13"}, "publish_date": "2019-03-13", "publish_status": "0", "recid": "1268", "relation": {}, "relation_version_is_last": true, "title": ["NII Technical Report (NII-2012-003E):Almost Affine Lambda Terms"], "weko_shared_id": -1}
  1. NIIテクニカル・レポート

NII Technical Report (NII-2012-003E):Almost Affine Lambda Terms

https://doi.org/10.20736/0000001268
https://doi.org/10.20736/0000001268
3b83bbda-299a-4ce6-bdf4-28bddaa8d7da
名前 / ファイル ライセンス アクション
12-003E.pdf NII Technical Report (NII-2012-003E):Almost Affine Lambda Terms (415.4 kB)
Item type レポート / Report(1)
公開日 2019-03-13
タイトル
言語 en
タイトル NII Technical Report (NII-2012-003E):Almost Affine Lambda Terms
言語
言語 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
著者 金沢, 誠

× 金沢, 誠

ja 金沢, 誠

en Kanazawa, Makoto

Search repository
抄録
内容記述タイプ 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
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 06:04:05.348267
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3