Abstracting Control with Dependent Types

• Material Type: 博士論文
• Title: Abstracting Control with Dependent Types
• Author/Editor: 叢, 悠悠
• Author Heading: 叢, 悠悠
• Publication, Distribution, etc.: お茶の水女子大学
• Publication Date: 2019-03-22
• Publication Date (W3CDTF): 2019-03-22
• Degree grantor/type: お茶の水女子大学
• Date Granted: 2019-03-22
• Date Granted (W3CDTF): 2019-03-22
• Dissertation Number: 甲第000309号
• Degree Type: 博士（理学）
• Conferring No. (Dissertation): 甲第000309号
• Text Language Code: jpn
• Subject Heading: delimited continuations; dependent types
• Target Audience: 一般
• Note (General): 学位論文; お茶の水女子大学人間文化創成科学研究科博士(理学)学位論文･平成31年3月22日授与(甲第309号); http://hdl.handle.net/10083/00063390
• Persistent ID (NDL): info:ndljp/pid/11288229; https://dl.ndl.go.jp/pid/11288229
• Collection: 障害者向け資料
• Collection (Materials For Handicapped People:1): テキストデータ
• Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文; https://dl.ndl.go.jp/collections/A00014
• Acquisition Basis: 博士論文（自動収集）
• Date Accepted (W3CDTF): 2019-06-03T12:31:31+09:00
• Format (IMT): application/pdf
• Access Restrictions: 国立国会図書館内限定公開
• Service for the Digitized Contents Transmission Service: 図書館・個人送信対象外
• Availability of remote photoduplication service: 可
• Related Material (URI): http://hdl.handle.net/10083/00063390
• Periodical Title (URI): http://hdl.handle.net/10083/00063391; https://teapot.lib.ocha.ac.jp/records/42591
• Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

Table of Contents

2023-09-07 再収集