WEKO3
アイテム
{"_buckets": {"deposit": "4c79702e-2dab-427b-9d5e-e102cb7436b4"}, "_deposit": {"created_by": 3, "id": "685", "owners": [3], "pid": {"revision_id": 0, "type": "depid", "value": "685"}, "status": "published"}, "_oai": {"id": "oai:kyutech.repo.nii.ac.jp:00000685", "sets": ["19"]}, "author_link": ["3156"], "item_24_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "1999-07-01", "bibliographicIssueDateType": "Issued"}, "bibliographic_titles": [{"bibliographic_title": "Technical Report in Computer Science and Systems Engineering"}]}]}, "item_24_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "We will prove that type checking, typability, and type inference fordomain-free 2 are undecidable. The type checking problem for domain-free 2 was posed by Barthe and S rensen (1997). A certain second or-der uni cation problem is reduced to the problem of type inference fordomain-free 2. The restricted second order uni cation has been provenundecidable by Schubert. The reduction method can be obtained from asimpli cation of Pfenning\u0027s reduction from the general problem of secondorder uni cation to the partial type inference problem. An analysis of theundecidability proof reveals that the typability problem is still undecid-able even for a predicative fragment of domain-free 2, called the rank 2fragment.", "subitem_description_type": "Abstract"}]}, "item_24_description_60": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"subitem_description": "Technical Report", "subitem_description_type": "Other"}]}, "item_24_full_name_3": {"attribute_name": "著者別名", "attribute_value_mlt": [{"nameIdentifiers": [{"nameIdentifier": "3156", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "30228994", "nameIdentifierScheme": "e-Rad", "nameIdentifierURI": "https://nrid.nii.ac.jp/ja/nrid/1000030228994/"}], "names": [{"name": "藤田, 憲悦"}]}]}, "item_24_publisher_7": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "九州工業大学"}]}, "item_24_source_id_8": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1344-8803", "subitem_source_identifier_type": "ISSN"}]}, "item_24_text_37": {"attribute_name": "著者所属", "attribute_value_mlt": [{"subitem_text_value": "Department of Articial Intelligence,Kyushu Institute of Technology"}, {"subitem_text_value": "九州工業大学情報工学部 知能情報工学科"}]}, "item_24_text_58": {"attribute_name": "テクニカルレポートNo.", "attribute_value_mlt": [{"subitem_text_value": "CSSE-5"}]}, "item_24_version_type_59": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Fujita, Ken-etsu"}], "nameIdentifiers": [{"nameIdentifier": "3156", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "30228994", "nameIdentifierScheme": "e-Rad", "nameIdentifierURI": "https://nrid.nii.ac.jp/ja/nrid/1000030228994/"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2008-02-04"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "csse-5.pdf", "filesize": [{"value": "189.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 189200.0, "url": {"label": "csse-5.pdf", "url": "https://kyutech.repo.nii.ac.jp/record/685/files/csse-5.pdf"}, "version_id": "5c0f2dad-5d1d-42fa-901e-e2d1414798e2"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "technical report", "resourceuri": "http://purl.org/coar/resource_type/c_18gh"}]}, "item_title": "Type Inference for Domain-Free λ2", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Type Inference for Domain-Free λ2"}]}, "item_type_id": "24", "owner": "3", "path": ["19"], "permalink_uri": "http://hdl.handle.net/10228/933", "pubdate": {"attribute_name": "公開日", "attribute_value": "2008-02-04"}, "publish_date": "2008-02-04", "publish_status": "0", "recid": "685", "relation": {}, "relation_version_is_last": true, "title": ["Type Inference for Domain-Free λ2"], "weko_shared_id": 3}
Type Inference for Domain-Free λ2
http://hdl.handle.net/10228/933
http://hdl.handle.net/10228/93320ed559e-da60-48b0-8cc8-4d4f1bd4d605
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | テクニカルレポート = Technical Report(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2008-02-04 | |||||
タイトル | ||||||
タイトル | Type Inference for Domain-Free λ2 | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||
資源タイプ | technical report | |||||
著者 |
Fujita, Ken-etsu
× Fujita, Ken-etsu |
|||||
著者別名 | ||||||
姓名 | 藤田, 憲悦 | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | We will prove that type checking, typability, and type inference fordomain-free 2 are undecidable. The type checking problem for domain-free 2 was posed by Barthe and S rensen (1997). A certain second or-der uni cation problem is reduced to the problem of type inference fordomain-free 2. The restricted second order uni cation has been provenundecidable by Schubert. The reduction method can be obtained from asimpli cation of Pfenning's reduction from the general problem of secondorder uni cation to the partial type inference problem. An analysis of theundecidability proof reveals that the typability problem is still undecid-able even for a predicative fragment of domain-free 2, called the rank 2fragment. | |||||
書誌情報 |
Technical Report in Computer Science and Systems Engineering 発行日 1999-07-01 |
|||||
出版者 | ||||||
出版者 | 九州工業大学 | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 1344-8803 | |||||
著者所属 | ||||||
Department of Articial Intelligence,Kyushu Institute of Technology | ||||||
著者所属 | ||||||
九州工業大学情報工学部 知能情報工学科 | ||||||
テクニカルレポートNo. | ||||||
CSSE-5 | ||||||
版 | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
資料タイプ | ||||||
内容記述タイプ | Other | |||||
内容記述 | Technical Report |