{"created":"2021-03-01T05:52:59.020225+00:00","id":1268,"links":{},"metadata":{"_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","filename":"12-003E.pdf","filesize":[{"value":"415.4 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","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"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2019-03-13"},"publish_date":"2019-03-13","publish_status":"0","recid":"1268","relation_version_is_last":true,"title":["NII Technical Report (NII-2012-003E)：Almost Affine Lambda Terms"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-11T02:22:40.162119+00:00"}