Typed Software Contracts with Intersection and Nondeterminism 交差型と非決定計算を含んだ型付ソフトウェア契約
この論文にアクセスする
著者
書誌事項
- タイトル
-
Typed Software Contracts with Intersection and Nondeterminism
- タイトル別名
-
交差型と非決定計算を含んだ型付ソフトウェア契約
- 著者名
-
Nishida, Yuki
- 学位授与大学
-
京都大学
- 取得学位
-
博士(情報学)
- 学位授与番号
-
甲第22675号
- 学位授与年月日
-
2020-05-25
注記・抄録
目次
- 2021-05-20 再収集 (3コマ目)
- 2021-05-20 再収集 (4コマ目)
- 2023-09-05 再収集 (5コマ目)
- 2023-09-05 再収集 (6コマ目)